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 
Invited Papers
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
Last update Tue May 22 23:22:46 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
