Application and Theory of Petri Nets 1999: 20th International Conference, Icatpn'99, Williamsburg, Virginia, Usa, June 21-25, 1999 Proceedings

ISBN-13: 9783540661320 / Angielski / Miękka / 1999 / 432 str.

Susanna Donatelli; Jetty Kleijn; G. Goos

Opis

Twenty-one revised full papers present research results on all aspects of Petri nets as well as advanced applications in a variety of areas. There are three invited presentations.

Spis treści

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.