Application and theory of petri nets 1999 : 20th international conference, ICATPN&#039,99

Application and Theory of Petri Nets 1999: 20th International Conference, ICATPN’99 Williamsburg, Virginia, USA, June 21–25, 1999 Proceedings
Author: Susanna Donatelli, Jetty Kleijn
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-66132-0
DOI: 10.1007/3-540-48745-X

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