22. ICATPN 2001:
Newcastle upon Tyne, UK
José Manuel Colom,
Maciej Koutny:
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
Susanna Donatelli:
Kronecker Algebra and (Stochastic) Petri Nets: Is It Worth the Effort? 1-18
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 Peter Deussen:
Partial Order Verification of Programmable Logic Controllers. 144-163 Timo Latvala:
Model Checking LTL Properties of High-Level Petri Nets with Fairness Constraints. 242-262 Marko Mäkelä:
Optimising Enabling Tests and Unfoldings of Algebraic System Nets. 283-302 L. J. Steggles:
Rewriting Logic and Elan: Prototyping Tools for Petri Nets with Time. 363-381 Walter Vogler:
Partial S-Invariants for the Verification of Infinite Systems Families. 382-402
maintained by

, founded at
