Applications and theory of Petri nets 2003

The contents include invited papers discussing the status and future of Coloured Petri Nets, biopathway modeling, and resource allocation in flexible manufacturing systems. It covers the design of Internet subnet quality of service using colored GSPN models and explores compositional theories of both qualitative and quantitative behavior. Full papers delve into various topics, such as life-cycle inheritance in Petri Nets, enriched nets over closed monoidal structures, and automatic symmetry detection in well-formed nets. Proposals for structuring Petri net-based agent interaction protocols and modeling mobility with nets are also presented. The specification and validation of the SACI-1 on-board computer using Timed-CSP-Z and Petri Nets is discussed, along with the computation of completion time distribution for short TCP transfers. Additional studies focus on safety properties in modular high-level nets, reachability in autonomous continuous Petri net systems, and the characterization of liveness in sequential resource allocation systems. The application of Coloured Petri Nets in pervasive healthcare, logical reasoning, and workflow modeling is examined, as well as soundness and separability in workflow nets. Tool papers include PLC programming with signal interpreted Petri Nets, CPN tools for editing and simulating colored Petri Nets, and resources on the Petri Net Markup Language.