Application and Theory of Petri Nets 1999 20th International Conference, ICATPN'99, Williamsburg, Virginia, USA, June 21-25, 1999 Proceedings /
| Corporate Author: | |
|---|---|
| Other Authors: | , |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
1999.
|
| Edition: | 1st ed. 1999. |
| Series: | Lecture Notes in Computer Science,
1639 |
| Subjects: | |
| Online Access: | Full Text via HEAL-Link |
Table of Contents:
- 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.
