22. ICATPN 2001: Newcastle upon Tyne, UK

Invited Papers

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

Full Papers

• Wil M. P. van der Aalst, Twan Basten:
  Identifying Commonalities and Differences in Object Life Cycles Using Behavioral Inheritance. 32-52
  
• Parosh Aziz Abdulla, Aletta Nylén:
  Timed Petri Nets and BQOs. 53-70
  
• 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
  
• Slavek Bulach, Anton Brauchle, Hans-Jörg Pfleiderer, Zdenek Kucerovsky:
  Petri Net Based Design and Implementation Methodology for Discrete Event Control Systems. 81-100
  
• Søren Christensen, Lars Michael Kristensen, Thomas Mailund:
  Condensed State Spaces for Timed Petri Nets. 101-120
  
• Jean-Michel Couvreur, Sébastien Grivet, Denis Poitrenaud:
  Unfolding of Products of Symmetrical Petri Nets. 121-143
  
• Peter Deussen:
  Partial Order Verification of Programmable Logic Controllers. 144-163
  
• Serge Haddad, Patrice Moreaux, Matteo Sereno, Manuel Silva:
  Structural Characterization and Qualitative Properties of Product Form Stochastic Petri Nets. 164-183
  
• Marian V. Iordache, Panos J. Antsaklis:
  Generalized Conditions for Liveness Enforcement and Deadlock Prevention in Petri Nets. 184-203
  
• Hanna Klaudel, Franck Pommereau:
  A Concurrent Semantics of Static Exceptions in a Parallel Programming Language. 204-223
  
• Michael Köhler, Daniel Moldt, Heiko Rölke:
  Modelling the Structure and Behaviour of Petri Net Agents. 224-241
  
• Timo Latvala:
  Model Checking LTL Properties of High-Level Petri Nets with Fairness Constraints. 242-262
  
• Glenn Lewis, Charles Lakos:
  Incremental State Space Construction for Coloured Petri Nets. 263-282
  
• Marko Mäkelä:
  Optimising Enabling Tests and Unfoldings of Algebraic System Nets. 283-302
  
• Olga Marroquín Alonso, David de Frutos-Escrig:
  Extending the Petri Box Calculus with Time. 303-322
  
• Wojciech Penczek, Agata Pólrola:
  Abstractions and Partial Order Reductions for Checking Branching Properties of Time Petri Nets. 323-342
  
• Carsten Rust, Jürgen Tacken, Carsten Böke:
  Pr/T-Net Based Seamless Design of Embedded Real-Time Systems. 343-362
  
• 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