Front matter
1-2
Coloured Petri Nets: Status and Outlook
Kurt Jensen
3-22
Towards Biopathway Modeling and Simulation
Hiroshi Matsuno, Sachie Fujita, Atsushi Doi, Masao Nagasaki and Satoru Miyano
23-35
The Resource Allocation Problem in Flexible Manufacturing Systems
Extended Abstract
J. M. Colom
36
Colored GSPN Models for the QoS Design of Internet Subnets
M. Ajmone Marsan, M. Garetto, R. Lo Cigno and M. Meo
37-42
Compositional Theories of Qualitative and Quantitative Behaviour
Ed Brinksma
43
Net Models Supporting Human and Humane Behaviors
C. A. Ellis
44-63
Deciding Life-Cycle Inheritance on Petri Nets
H. M. W. Verbeek and T. Basten
64-81
Nets Enriched over Closed Monoidal Structures
Eric Badouel and Jules Chenou
82-101
Automatic Symmetry Detection in Well-Formed Nets
Yann Thierry-Mieg, Claude Dutheillet and Isabelle Mounier
102-120
A Proposal for Structuring Petri Net-Based Agent Interaction Protocols
Lawrence Cabac, Daniel Moldt and Heiko Rölke
121-139
Modelling Mobility and Mobile Agents Using Nets within Nets
Michael Köhler, Daniel Moldt and Heiko Rölke
140-160
Modular System Development with Pullbacks
Marek A. Bednarczyk, Luca Bernardinello, Benoît Caillaud, Wiesław Pawłowski and Lucia Pomello
161-180
Specification and Validation of the SACI-1 On-Board Computer Using Timed-CSP-Z and Petri Nets
Adnan Sherif, Augusto Sampaio and Sérgio Cavalcante
181-200
On the Use of Petri Nets for the Computation of Completion Time Distribution for Short TCP Transfers
R. Gaeta, M. Gribaudo, D. Manini and M. Sereno
201-220
Model Checking Safety Properties in Modular High-Level Nets
Marko Mäkelä
221-240
On Reachability in Autonomous Continuous Petri Net Systems
Jorge Júlvez, Laura Recalde and Manuel Silva
241-255
On the Siphon-Based Characterization of Liveness in Sequential Resource Allocation Systems
Spyros A. Reveliotis
256-275
Coloured Petri Nets in Development of a Pervasive Health Care System
Jens Bæk Jørgensen
276-295
Logical Reasoning and Petri Nets
Kurt Lautenbach
296-315
Reactive Petri Nets for Workflow Modeling
Rik Eshuis and Juliane Dehnert
316-336
Distributed Diagnosis of Discrete-Event Systems Using Petri Nets
Sahika Genc and Stéphane Lafortune
337-356
Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach
Kees van Hee, Natalia Sidorova and Marc Voorhoeve
357-376
On Synchronicity and Concurrency in Petri Nets
Gabriel Juhás, Robert Lorenz and Tomáš Šingliar
377-396
Analysing Properties of the Resource Reservation Protocol
María E. Villapol and Jonathan Billington
397-416
Hierarchical Timed High Level Nets and Their Branching Processes
Hans Fleischhack and Elisabeth Pelz
417-439
A Heuristic Algorithm
FSDC
Based on Avoidance of Deadlock Components in Finding Legal Firing Sequences of Petri Nets
Satoshi Taoka, Shinji Furusato and Toshimasa Watanabe
440-449
PLC Programming with Signal Interpreted Petri Nets
Stéphane Klein, Georg Frey and Mark Minas
450-462
CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets
Anne Vinter Ratzer, Lisa Wells, Henry Michael Lassen, Mads Laursen and Jacob Frank Qvortrup, et al.
463-472
The Model-Checking Kit
Claus Schröter, Stefan Schwoon and Javier Esparza
473-482
Prototyping Object Oriented Specifications
Ali Al-Shabibi, Didier Buchs, Mathieu Buffo, Stanislav Chachkov and Ang Chen, et al.
483-505
The Petri Net Markup Language: Concepts, Technology, and Tools
Jonathan Billington, Søren Christensen, Kees van Hee, Ekkart Kindler and Olaf Kummer, et al.
Back matter