default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID22nd 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
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 Suárez:
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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-22 19:50 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
