Application and Theory of Petri Nets 1999: 20th International Conference, ICATPN’99 Williamsburg, Virginia, USA, June 21–25, 1999 Proceedings

Pravin Varaiya (auth.), Susanna Donatelli, Jetty Kleijn (eds.)3540661328, 9783540661320

This book constitutes the refereed proceedings of the 20th International Conference on Application and Theory of Petri Nets, ICATPN’99, held in Williamsburg, Virginia, USA, in June 1999.
The 21 revised full papers presented were carefully selected from 45 submissions. Also included are three invited presentations. The book presents state-of-the-art research results on all current aspects of Petri nets as well as advanced applications in a variety of areas.

---

Table of contents :
Design, Simulation, and Implementation of Hybrid Systems….Pages 1-5
Efficient Reachability Set Generation and Storage Using Decision Diagrams….Pages 6-25
Structural Methods to Improve the Symbolic Analysis of Petri Nets….Pages 26-45
Stubborn Sets for Standard Properties….Pages 46-65
Petri Net Based Behavioural Specification of CORBA Systems….Pages 66-85
Symmetric Communication between Coloured Petri Net Simulations and Java-Processes….Pages 86-105
Recent Developments in Modeling and Analysis of Hybrid Dynamic Systems….Pages 106-106
Autonomous Continuous P/T Systems….Pages 107-126
An Approach to the Analysis of Interworking Traders….Pages 127-146
Parallel Approaches to the Numerical Transient Analysis of Stochastic Reward Nets….Pages 147-167
SWN Nets as a Framework for the Specification and the Analysis of FT Techniques Adopted in Electric Plant Automation….Pages 168-187
Monitoring Discrete Event Systems Using Petri Net Embeddings….Pages 188-207
Quasi-Static Scheduling of Embedded Software Using Equal Conflict Nets….Pages 208-227
Theoretical Aspects of Recursive Petri Nets….Pages 228-247
Petri Net Theory — Problems Solved by Commutative Algebra….Pages 248-267
Testing Undecidability of the Reachability in Petri Nets with the Help of 10th Hilbert Problem….Pages 268-281
Net Theory and Workflow Models….Pages 282-283
Concurrent Implementation of Asynchronous Transition Systems….Pages 284-303
Trace Channel Nets….Pages 304-323
Reasoning about Algebraic Generalisation of Petri Nets….Pages 324-343
The Box Algebra —; A Model of Nets and Process Expressions….Pages 344-363
Detection of Illegal Behaviours Based on Unfoldings….Pages 364-383
Five Classes of Invariant-Preserving Transformations on Colored Petri Nets….Pages 384-403
Verifying Intuition — ILF Checks DAWN Proofs….Pages 404-423