Application and Theory of Petri Nets 1999 20th International Conference, ICATPN'99, Williamsburg, Virginia, USA, June 21-25, 1999 Proceedings /
| Συγγραφή απο Οργανισμό/Αρχή: | |
|---|---|
| Άλλοι συγγραφείς: | , |
| Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
1999.
|
| Έκδοση: | 1st ed. 1999. |
| Σειρά: | Lecture Notes in Computer Science,
1639 |
| Θέματα: | |
| Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- Design, Simulation, and Implementation of Hybrid Systems
- Efficient Reachability Set Generation and Storage Using Decision Diagrams
- Structural Methods to Improve the Symbolic Analysis of Petri Nets
- Stubborn Sets for Standard Properties
- Petri Net Based Behavioural Specification of CORBA Systems
- Symmetric Communication between Coloured Petri Net Simulations and Java-Processes
- Recent Developments in Modeling and Analysis of Hybrid Dynamic Systems
- Autonomous Continuous P/T Systems
- An Approach to the Analysis of Interworking Traders
- Parallel Approaches to the Numerical Transient Analysis of Stochastic Reward Nets
- SWN Nets as a Framework for the Specification and the Analysis of FT Techniques Adopted in Electric Plant Automation
- Monitoring Discrete Event Systems Using Petri Net Embeddings
- Quasi-Static Scheduling of Embedded Software Using Equal Conflict Nets
- Theoretical Aspects of Recursive Petri Nets
- Petri Net Theory - Problems Solved by Commutative Algebra
- Testing Undecidability of the Reachability in Petri Nets with the Help of 10th Hilbert Problem
- Net Theory and Workflow Models
- Concurrent Implementation of Asynchronous Transition Systems
- Trace Channel Nets
- Reasoning about Algebraic Generalisation of Petri Nets
- The Box Algebra -; A Model of Nets and Process Expressions
- Detection of Illegal Behaviours Based on Unfoldings
- Five Classes of Invariant-Preserving Transformations on Colored Petri Nets
- Verifying Intuition - ILF Checks DAWN Proofs.
