Applications and Theory of Petri Nets 2003

Invited Papers.- Coloured Petri Nets: Status and Outlook.- Towards Biopathway Modeling and Simulation.- The Resource Allocation Problem in Flexible Manufacturing Systems.- Colored GSPN Models for the QoS Design of Internet Subnets.- Compositional Theories of Qualitative and Quantitative Behaviour.- Net Models Supporting Human and Humane Behaviors.- Full Papers.- Deciding Life-Cycle Inheritance on Petri Nets.- Nets Enriched over Closed Monoidal Structures.- Automatic Symmetry Detection in Well-Formed Nets.- A Proposal for Structuring Petri Net-Based Agent Interaction Protocols.- Modelling Mobility and Mobile Agents Using Nets within Nets.- Modular System Development with Pullbacks.- Specification and Validation of the SACI-1 On-Board Computer Using Timed-CSP-Z and Petri Nets.- On the Use of Petri Nets for the Computation of Completion Time Distribution for Short TCP Transfers.- Model Checking Safety Properties in Modular High-Level Nets.- On Reachability in Autonomous Continuous Petri Net Systems.- On the Siphon-Based Characterization of Liveness in Sequential Resource Allocation Systems.- Coloured Petri Nets in Development of a Pervasive Health Care System.- Logical Reasoning and Petri Nets.- Reactive Petri Nets for Workflow Modeling.- Distributed Diagnosis of Discrete-Event Systems Using Petri Nets.- Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach.- On Synchronicity and Concurrency in Petri Nets.- Analysing Properties of the Resource Reservation Protocol.- Hierarchical Timed High Level Nets and Their Branching Processes.- A Heuristic Algorithm FSDC Based on Avoidance of Deadlock Components in Finding Legal Firing Sequences of Petri Nets.- Tool Papers.- PLC Programming with Signal Interpreted Petri Nets.- CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets.- The Model-Checking Kit.- Prototyping Object Oriented Specifications.- PNML Paper.- The Petri Net Markup Language: Concepts, Technology, and Tools.