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. Springer 2003 Lecture Notes in Computer Science ISBN 3-540-40334-5
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
- 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
- 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
- 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
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team