22. ICATPN 2001: Newcastle upon Tyne, UK

José Manuel Colom, Maciej Koutny (Eds.): Application and Theory of Petri Nets 2001, 22nd International Conference, ICATPN 2001, Newcastle upon Tyne, UK, June 25-29, 2001, Proceedings. Lecture Notes in Computer Science 2075 Springer 2001, ISBN 3-540-42252-8 BibTeX

@proceedings{DBLP:conf/apn/2001,
  editor    = {Jos{\'e} Manuel Colom and
               Maciej Koutny},
  title     = {Application and Theory of Petri Nets 2001, 22nd International
               Conference, ICATPN 2001, Newcastle upon Tyne, UK, June 25-29,
               2001, Proceedings},
  booktitle = {ICATPN},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2075},
  year      = {2001},
  isbn      = {3-540-42252-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Papers

Susanna Donatelli:
Kronecker Algebra and (Stochastic) Petri Nets: Is It Worth the Effort? 1-18
Electronic Edition (Springer LINK) BibTeX
Robin Milner:
The Flux of Interaction. 19-22
Electronic Edition (Springer LINK) BibTeX
Mogens Nielsen, Vladimiro Sassone, Jirí Srba:
Towards a Notion of Distributed Time for Petri Nets. 23-31
Electronic Edition (Springer LINK) BibTeX

Full Papers

Wil M. P. van der Aalst, Twan Basten:
Identifying Commonalities and Differences in Object Life Cycles Using Behavioral Inheritance. 32-52
Electronic Edition (Springer LINK) BibTeX
Parosh Aziz Abdulla, Aletta Nylén:
Timed Petri Nets and BQOs. 53-70
Electronic Edition (Springer LINK) BibTeX
Michel Beaudouin-Lafon, Wendy E. Mackay, Peter Andersen, Paul Janecek, Mads Jensen, Henry Michael Lassen, Kasper Lund, Kjeld Høyer Mortensen, Stephanie Munck, Anne V. Ratzer, Katrine Ravn, Søren Christensen, Kurt Jensen:
CPN/Tools: A Post-WIMP Interface for Editing and Simulating Coloured Petri Nets. 71-80
Electronic Edition (Springer LINK) BibTeX
Slavek Bulach, Anton Brauchle, Hans-Jörg Pfleiderer, Zdenek Kucerovsky:
Petri Net Based Design and Implementation Methodology for Discrete Event Control Systems. 81-100
Electronic Edition (Springer LINK) BibTeX
Søren Christensen, Lars Michael Kristensen, Thomas Mailund:
Condensed State Spaces for Timed Petri Nets. 101-120
Electronic Edition (Springer LINK) BibTeX
Jean-Michel Couvreur, Sébastien Grivet, Denis Poitrenaud:
Unfolding of Products of Symmetrical Petri Nets. 121-143
Electronic Edition (Springer LINK) BibTeX
Peter Deussen:
Partial Order Verification of Programmable Logic Controllers. 144-163
Electronic Edition (Springer LINK) BibTeX
Serge Haddad, Patrice Moreaux, Matteo Sereno, Manuel Silva:
Structural Characterization and Qualitative Properties of Product Form Stochastic Petri Nets. 164-183
Electronic Edition (Springer LINK) BibTeX
Marian V. Iordache, Panos J. Antsaklis:
Generalized Conditions for Liveness Enforcement and Deadlock Prevention in Petri Nets. 184-203
Electronic Edition (Springer LINK) BibTeX
Hanna Klaudel, Franck Pommereau:
A Concurrent Semantics of Static Exceptions in a Parallel Programming Language. 204-223
Electronic Edition (Springer LINK) BibTeX
Michael Köhler, Daniel Moldt, Heiko Rölke:
Modelling the Structure and Behaviour of Petri Net Agents. 224-241
Electronic Edition (Springer LINK) BibTeX
Timo Latvala:
Model Checking LTL Properties of High-Level Petri Nets with Fairness Constraints. 242-262
Electronic Edition (Springer LINK) BibTeX
Glenn Lewis, Charles Lakos:
Incremental State Space Construction for Coloured Petri Nets. 263-282
Electronic Edition (Springer LINK) BibTeX
Marko Mäkelä:
Optimising Enabling Tests and Unfoldings of Algebraic System Nets. 283-302
Electronic Edition (Springer LINK) BibTeX
Olga Marroquín Alonso, David de Frutos-Escrig:
Extending the Petri Box Calculus with Time. 303-322
Electronic Edition (Springer LINK) BibTeX
Wojciech Penczek, Agata Pólrola:
Abstractions and Partial Order Reductions for Checking Branching Properties of Time Petri Nets. 323-342
Electronic Edition (Springer LINK) BibTeX
Carsten Rust, Jürgen Tacken, Carsten Böke:
Pr/T-Net Based Seamless Design of Embedded Real-Time Systems. 343-362
Electronic Edition (Springer LINK) BibTeX
L. J. Steggles:
Rewriting Logic and Elan: Prototyping Tools for Petri Nets with Time. 363-381
Electronic Edition (Springer LINK) BibTeX
Walter Vogler:
Partial S-Invariants for the Verification of Infinite Systems Families. 382-402
Electronic Edition (Springer LINK) BibTeX