24. ICATPN 2003: Eindhoven, The Netherlands

Wil M. P. van der Aalst, Eike Best (Eds.): Applications and Theory of Petri Nets 2003, 24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings. Lecture Notes in Computer Science 2679 Springer 2003, ISBN 3-540-40334-5 BibTeX

@proceedings{DBLP:conf/apn/2003,
  editor    = {Wil M. P. van der Aalst and
               Eike Best},
  title     = {Applications and Theory of Petri Nets 2003, 24th International
               Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27,
               2003, Proceedings},
  booktitle = {ICATPN},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2679},
  year      = {2003},
  isbn      = {3-540-40334-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Papers

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

Full Papers

H. M. W. (Eric) Verbeek, Twan Basten:
Deciding Life-Cycle Inheritance on Petri Nets. 44-63
Electronic Edition (Springer LINK) BibTeX
Eric Badouel, Jules Chenou:
Nets Enriched over Closed Monoidal Structures. 64-81
Electronic Edition (Springer LINK) BibTeX
Yann Thierry-Mieg, Claude Dutheillet, Isabelle Mounier:
Automatic Symmetry Detection in Well-Formed Nets. 82-101
Electronic Edition (Springer LINK) BibTeX
Lawrence Cabac, Daniel Moldt, Heiko Rölke:
A Proposal for Structuring Petri Net-Based Agent Interaction Protocols. 102-120
Electronic Edition (Springer LINK) BibTeX
Michael Köhler, Daniel Moldt, Heiko Rölke:
Modelling Mobility and Mobile Agents Using Nets within Nets. 121-139
Electronic Edition (Springer LINK) BibTeX
Marek A. Bednarczyk, Luca Bernardinello, Benoît Caillaud, Wieslaw Pawlowski, Lucia Pomello:
Modular System Development with Pullbacks. 140-160
Electronic Edition (Springer LINK) BibTeX
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
Electronic Edition (Springer LINK) BibTeX
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
Electronic Edition (Springer LINK) BibTeX
Marko Mäkelä:
Model Checking Safety Properties in Modular High-Level Nets. 201-220
Electronic Edition (Springer LINK) BibTeX
Jorge Júlvez, Laura Recalde, Manuel Silva:
On Reachability in Autonomous Continuous Petri Net Systems. 221-240
Electronic Edition (Springer LINK) BibTeX
Spyros A. Reveliotis:
On the Siphon-Based Characterization of Liveness in Sequential Resource Allocation Systems. 241-255
Electronic Edition (Springer LINK) BibTeX
Jens Bæk Jørgensen:
Coloured Petri Nets in Development of a Pervasive Health Care System. 256-275
Electronic Edition (Springer LINK) BibTeX
Kurt Lautenbach:
Logical Reasoning and Petri Nets. 276-295
Electronic Edition (Springer LINK) BibTeX
Rik Eshuis, Juliane Dehnert:
Reactive Petri Nets for Workflow Modeling. 296-315
Electronic Edition (Springer LINK) BibTeX
Sahika Genc, Stéphane Lafortune:
Distributed Diagnosis of Discrete-Event Systems Using Petri Nets. 316-336
Electronic Edition (Springer LINK) BibTeX
Kees M. van Hee, Natalia Sidorova, Marc Voorhoeve:
Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach. 337-356
Electronic Edition (Springer LINK) BibTeX
Gabriel Juhás, Robert Lorenz, Tomás Singliar:
On Synchronicity and Concurrency in Petri Nets. 357-376
Electronic Edition (Springer LINK) BibTeX
María E. Villapol, Jonathan Billington:
Analysing Properties of the Resource Reservation Protocol. 377-396
Electronic Edition (Springer LINK) BibTeX
Hans Fleischhack, Elisabeth Pelz:
Hierarchical Timed High Level Nets and Their Branching Processes. 397-416
Electronic Edition (Springer LINK) BibTeX
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
Electronic Edition (Springer LINK) BibTeX

Tool Papers

Stéphane Klein, Georg Frey, Mark Minas:
PLC Programming with Signal Interpreted Petri Nets. 440-449
Electronic Edition (Springer LINK) BibTeX
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
Electronic Edition (Springer LINK) BibTeX
Claus Schröter, Stefan Schwoon, Javier Esparza:
The Model-Checking Kit. 463-472
Electronic Edition (Springer LINK) BibTeX
Ali Al-Shabibi, Didier Buchs, Mathieu Buffo, Stanislav Chachkov, Ang Chen, David Hurzeler:
Prototyping Object Oriented Specifications. 473-482
Electronic Edition (Springer LINK) BibTeX

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
Electronic Edition (Springer LINK) BibTeX