Abstract is missing.
- Kronecker Algebra and (Stochastic) Petri Nets: Is It Worth the Effort?Susanna Donatelli. 1-18 [doi]
- The Flux of InteractionRobin Milner. 19-22 [doi]
- Towards a Notion of Distributed Time for Petri NetsMogens Nielsen, Vladimiro Sassone, Jirí Srba. 23-31 [doi]
- Identifying Commonalities and Differences in Object Life Cycles Using Behavioral InheritanceWil M. P. van der Aalst, Twan Basten. 32-52 [doi]
- Timed Petri Nets and BQOsParosh Aziz Abdulla, Aletta Nylén. 53-70 [doi]
- CPN/Tools: A Post-WIMP Interface for Editing and Simulating Coloured Petri NetsMichel 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. 71-80 [doi]
- Petri Net Based Design and Implementation Methodology for Discrete Event Control SystemsSlavek Bulach, Anton Brauchle, Hans-Jörg Pfleiderer, Zdenek Kucerovsky. 81-100 [doi]
- Condensed State Spaces for Timed Petri NetsSøren Christensen, Lars Michael Kristensen, Thomas Mailund. 101-120 [doi]
- Unfolding of Products of Symmetrical Petri NetsJean-Michel Couvreur, Sébastien Grivet, Denis Poitrenaud. 121-143 [doi]
- Partial Order Verification of Programmable Logic ControllersPeter Deussen. 144-163 [doi]
- Structural Characterization and Qualitative Properties of Product Form Stochastic Petri NetsSerge Haddad, Patrice Moreaux, Matteo Sereno, Manuel Silva. 164-183 [doi]
- Generalized Conditions for Liveness Enforcement and Deadlock Prevention in Petri NetsMarian V. Iordache, Panos J. Antsaklis. 184-203 [doi]
- A Concurrent Semantics of Static Exceptions in a Parallel Programming LanguageHanna Klaudel, Franck Pommereau. 204-223 [doi]
- Modelling the Structure and Behaviour of Petri Net AgentsMichael Köhler, Daniel Moldt, Heiko Rölke. 224-241 [doi]
- Model Checking LTL Properties of High-Level Petri Nets with Fairness ConstraintsTimo Latvala. 242-262 [doi]
- Incremental State Space Construction for Coloured Petri NetsGlenn Lewis, Charles Lakos. 263-282 [doi]
- Optimising Enabling Tests and Unfoldings of Algebraic System NetsMarko Mäkelä. 283-302 [doi]
- Extending the Petri Box Calculus with TimeOlga Marroquín Alonso, David de Frutos-Escrig. 303-322 [doi]
- Abstractions and Partial Order Reductions for Checking Branching Properties of Time Petri NetsWojciech Penczek, Agata Pólrola. 323-342 [doi]
- Pr/T-Net Based Seamless Design of Embedded Real-Time SystemsCarsten Rust, Jürgen Tacken, Carsten Böke. 343-362 [doi]
- Rewriting Logic and Elan: Prototyping Tools for Petri Nets with TimeL. J. Steggles. 363-381 [doi]
- Partial S-Invariants for the Verification of Infinite Systems FamiliesWalter Vogler. 382-402 [doi]