Abstract is missing.
- Coloured Petri Nets: Status and OutlookKurt Jensen. 1-2 [doi]
- Towards Biopathway Modeling and SimulationHiroshi Matsuno, Sachie Fujita, Atsushi Doi, Masao Nagasaki, Satoru Miyano. 3-22 [doi]
- The Resource Allocation Problem in Flexible Manufacturing SystemsJosé Manuel Colom. 23-35 [doi]
- Colored GSPN Models for the QoS Design of Internet SubnetsMarco Ajmone Marsan, Michele Garetto, Renato Lo Cigno, Michela Meo. 36 [doi]
- Compositional Theories of Qualitative and Quantitative BehaviourEd Brinksma. 37-42 [doi]
- Net Models Supporting Human and Humane BehaviorsClarence A. Ellis. 43 [doi]
- Deciding Life-Cycle Inheritance on Petri NetsH. M. W. (Eric) Verbeek, Twan Basten. 44-63 [doi]
- Nets Enriched over Closed Monoidal StructuresEric Badouel, Jules Chenou. 64-81 [doi]
- Automatic Symmetry Detection in Well-Formed NetsYann Thierry-Mieg, Claude Dutheillet, Isabelle Mounier. 82-101 [doi]
- A Proposal for Structuring Petri Net-Based Agent Interaction ProtocolsLawrence Cabac, Daniel Moldt, Heiko Rölke. 102-120 [doi]
- Modelling Mobility and Mobile Agents Using Nets within NetsMichael Köhler, Daniel Moldt, Heiko Rölke. 121-139 [doi]
- Modular System Development with PullbacksMarek A. Bednarczyk, Luca Bernardinello, Benoît Caillaud, Wieslaw Pawlowski, Lucia Pomello. 140-160 [doi]
- Specification and Validation of the SACI-1 On-Board Computer Using Timed-CSP-Z and Petri NetsAdnan Sherif, Augusto Sampaio, Sérgio Cavalcante. 161-180 [doi]
- On the Use of Petri Nets for the Computation of Completion Time Distribution for Short TCP TransfersRossano Gaeta, Marco Gribaudo, Daniele Manini, Matteo Sereno. 181-200 [doi]
- Model Checking Safety Properties in Modular High-Level NetsMarko Mäkelä. 201-220 [doi]
- On Reachability in Autonomous Continuous Petri Net SystemsJorge Júlvez, Laura Recalde, Manuel Silva. 221-240 [doi]
- On the Siphon-Based Characterization of Liveness in Sequential Resource Allocation SystemsSpyros A. Reveliotis. 241-255 [doi]
- Coloured Petri Nets in Development of a Pervasive Health Care SystemJens Bæk Jørgensen. 256-275 [doi]
- Logical Reasoning and Petri NetsKurt Lautenbach. 276-295 [doi]
- Reactive Petri Nets for Workflow ModelingRik Eshuis, Juliane Dehnert. 296-315 [doi]
- Distributed Diagnosis of Discrete-Event Systems Using Petri NetsSahika Genc, Stéphane Lafortune. 316-336 [doi]
- Soundness and Separability of Workflow Nets in the Stepwise Refinement ApproachKees M. van Hee, Natalia Sidorova, Marc Voorhoeve. 337-356 [doi]
- On Synchronicity and Concurrency in Petri NetsGabriel Juhás, Robert Lorenz, Tomás Singliar. 357-376 [doi]
- Analysing Properties of the Resource Reservation ProtocolMaría E. Villapol, Jonathan Billington. 377-396 [doi]
- Hierarchical Timed High Level Nets and Their Branching ProcessesHans Fleischhack, Elisabeth Pelz. 397-416 [doi]
- A Heuristic Algorithm FSDC Based on Avoidance of Deadlock Components in Finding Legal Firing Sequences of Petri NetsSatoshi Taoka, Shinji Furusato, Toshimasa Watanabe. 417-439 [doi]
- PLC Programming with Signal Interpreted Petri NetsStéphane Klein, Georg Frey, Mark Minas. 440-449 [doi]
- CPN Tools for Editing, Simulating, and Analysing Coloured Petri NetsAnne V. Ratzer, Lisa Wells, Henry Michael Lassen, Mads Laursen, Jacob Frank Qvortrup, Martin Stig Stissing, Michael Westergaard, Søren Christensen, Kurt Jensen. 450-462 [doi]
- The Model-Checking KitClaus Schröter, Stefan Schwoon, Javier Esparza. 463-472 [doi]
- Prototyping Object Oriented SpecificationsAli Al-Shabibi, Didier Buchs, Mathieu Buffo, Stanislav Chachkov, Ang Chen, David Hurzeler. 473-482 [doi]
- The Petri Net Markup Language: Concepts, Technology, and ToolsJonathan Billington, Søren Christensen, Kees M. van Hee, Ekkart Kindler, Olaf Kummer, Laure Petrucci, Reinier Post, Christian Stehno, Michael Weber. 483-505 [doi]