24. ICATPN 2003: Eindhoven, The Netherlands

Invited Papers

• Kurt Jensen:
  Coloured Petri Nets: Status and Outlook. 1-2
  
• Hiroshi Matsuno, Sachie Fujita, Atsushi Doi, Masao Nagasaki, Satoru Miyano:
  Towards Biopathway Modeling and Simulation. 3-22
  
• José Manuel Colom:
  The Resource Allocation Problem in Flexible Manufacturing Systems. 23-35
  
• Marco Ajmone Marsan, Michele Garetto, Renato Lo Cigno, Michela Meo:
  Colored GSPN Models for the QoS Design of Internet Subnets. 36
  
• Ed Brinksma:
  Compositional Theories of Qualitative and Quantitative Behaviour. 37-42
  
• Clarence A. Ellis:
  Net Models Supporting Human and Humane Behaviors. 43
  

Full Papers

• H. M. W. (Eric) Verbeek, Twan Basten:
  Deciding Life-Cycle Inheritance on Petri Nets. 44-63
  
• Eric Badouel, Jules Chenou:
  Nets Enriched over Closed Monoidal Structures. 64-81
  
• Yann Thierry-Mieg, Claude Dutheillet, Isabelle Mounier:
  Automatic Symmetry Detection in Well-Formed Nets. 82-101
  
• Lawrence Cabac, Daniel Moldt, Heiko Rölke:
  A Proposal for Structuring Petri Net-Based Agent Interaction Protocols. 102-120
  
• Michael Köhler, Daniel Moldt, Heiko Rölke:
  Modelling Mobility and Mobile Agents Using Nets within Nets. 121-139
  
• Marek A. Bednarczyk, Luca Bernardinello, Benoît Caillaud, Wieslaw Pawlowski, Lucia Pomello:
  Modular System Development with Pullbacks. 140-160
  
• Adnan Sherif, Augusto Sampaio, Sérgio Cavalcante:
  Specification and Validation of the SACI-1 On-Board Computer Using Timed-CSP-Z and Petri Nets. 161-180
  
• Rossano Gaeta, Marco Gribaudo, Daniele Manini, Matteo Sereno:
  On the Use of Petri Nets for the Computation of Completion Time Distribution for Short TCP Transfers. 181-200
  
• Marko Mäkelä:
  Model Checking Safety Properties in Modular High-Level Nets. 201-220
  
• Jorge Júlvez, Laura Recalde, Manuel Silva:
  On Reachability in Autonomous Continuous Petri Net Systems. 221-240
  
• Spyros A. Reveliotis:
  On the Siphon-Based Characterization of Liveness in Sequential Resource Allocation Systems. 241-255
  
• Jens Bæk Jørgensen:
  Coloured Petri Nets in Development of a Pervasive Health Care System. 256-275
  
• Kurt Lautenbach:
  Logical Reasoning and Petri Nets. 276-295
  
• Rik Eshuis, Juliane Dehnert:
  Reactive Petri Nets for Workflow Modeling. 296-315
  
• Sahika Genc, Stéphane Lafortune:
  Distributed Diagnosis of Discrete-Event Systems Using Petri Nets. 316-336
  
• Kees M. van Hee, Natalia Sidorova, Marc Voorhoeve:
  Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach. 337-356
  
• Gabriel Juhás, Robert Lorenz, Tomás Singliar:
  On Synchronicity and Concurrency in Petri Nets. 357-376
  
• María E. Villapol, Jonathan Billington:
  Analysing Properties of the Resource Reservation Protocol. 377-396
  
• Hans Fleischhack, Elisabeth Pelz:
  Hierarchical Timed High Level Nets and Their Branching Processes. 397-416
  
• Satoshi Taoka, Shinji Furusato, Toshimasa Watanabe:
  A Heuristic Algorithm FSDC Based on Avoidance of Deadlock Components in Finding Legal Firing Sequences of Petri Nets. 417-439
  

Tool Papers

• Stéphane Klein, Georg Frey, Mark Minas:
  PLC Programming with Signal Interpreted Petri Nets. 440-449
  
• Anne V. Ratzer, Lisa Wells, Henry Michael Lassen, Mads Laursen, Jacob Frank Qvortrup, Martin Stig Stissing, Michael Westergaard, Søren Christensen, Kurt Jensen:
  CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets. 450-462
  
• Claus Schröter, Stefan Schwoon, Javier Esparza:
  The Model-Checking Kit. 463-472
  
• Ali Al-Shabibi, Didier Buchs, Mathieu Buffo, Stanislav Chachkov, Ang Chen, David Hurzeler:
  Prototyping Object Oriented Specifications. 473-482
  

PNML Papers

• Jonathan Billington, Søren Christensen, Kees M. van Hee, Ekkart Kindler, Olaf Kummer, Laure Petrucci, Reinier Post, Christian Stehno, Michael Weber:
  The Petri Net Markup Language: Concepts, Technology, and Tools. 483-505