ask others

22. ICATPN 2001: Newcastle upon Tyne, UK

> Home > Conferences and Workshops > ICATPN

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/apn/2001
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/apn/2001
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

Invited Papers

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/apn/Donatelli01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/apn/Donatelli01
Susanna Donatelli:
Kronecker Algebra and (Stochastic) Petri Nets: Is It Worth the Effort? 1-18
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/apn/Milner01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/apn/Milner01
Robin Milner:
The Flux of Interaction. 19-22
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/apn/NielsenSS01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/apn/NielsenSS01
Mogens Nielsen, Vladimiro Sassone, Jirí Srba:
Towards a Notion of Distributed Time for Petri Nets. 23-31

Full Papers

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