Abstract is missing.
- Petri Nets, Discrete Physics, and Distributed Quantum ComputationSamson Abramsky. 1-2 [doi]
- Autonomous Distributed System and Its Realization by Multi Agent NetsSadatoshi Kumagai, Toshiyuki Miyamoto. 3-19 [doi]
- Petri Nets Without TokensAntoni Mazurkiewicz. 20-23 [doi]
- Toward Specifications for Reconfigurable Component SystemsAndrzej Tarlecki. 24-28 [doi]
- Generating Petri Net State SpacesKarsten Wolf. 29-42 [doi]
- Markov Decision Petri Net and Markov Decision Well-Formed Net FormalismsMarco Beccuti, Giuliana Franceschinis, Serge Haddad. 43-62 [doi]
- Comparison of the Expressiveness of Arc, Place and Transition Time Petri NetsMarc Boyer, Olivier H. Roux. 63-82 [doi]
- Improving Static Variable Orders Via InvariantsGianfranco Ciardo, Gerald Lüttgen, Andy Jinqing Yu. 83-103 [doi]
- Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition SystemsHartmut Ehrig, Kathrin Hoffmann, Julia Padberg, Ulrike Prange, Claudia Ermel. 104-123 [doi]
- From Many Places to Few: Automatic Abstraction Refinement for Petri NetsPierre Ganty, Jean-François Raskin, Laurent Van Begin. 124-143 [doi]
- A Compositional Method for the Synthesis of Asynchronous Communication MechanismsKyller Costa Gorgônio, Jordi Cortadella, Fei Xia. 144-163 [doi]
- History-Dependent Petri NetsKees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Wil M. P. van der Aalst. 164-183 [doi]
- Complete Process Semantics for Inhibitor NetsGabriel Juhás, Robert Lorenz, Sebastian Mauser. 184-203 [doi]
- Behaviour-Preserving Transition Insertions in Unfolding PrefixesVictor Khomenko. 204-222 [doi]
- Combining Decomposition and Unfolding for STG SynthesisVictor Khomenko, Mark Schäfer. 223-243 [doi]
- Object Nets for MobilityMichael Köhler, Berndt Farwer. 244-262 [doi]
- Web Service Orchestration with Super-Dual Object NetsMichael Köhler, Heiko Rölke. 263-280 [doi]
- Synthesis of Elementary Net Systems with Context Arcs and LocalitiesMaciej Koutny, Marta Pietkiewicz-Koutny. 281-300 [doi]
- Nets with Tokens Which Carry DataRanko Lazic, Thomas Christopher Newcomb, Joël Ouaknine, A. W. Roscoe, James Worrell. 301-320 [doi]
- Operating Guidelines for Finite-State ServicesNiels Lohmann, Peter Massuthe, Karsten Wolf. 321-341 [doi]
- Theory of Regions for the Synthesis of Inhibitor Nets from ScenariosRobert Lorenz, Sebastian Mauser, Robin Bergenthum. 342-361 [doi]
- Utilizing Fuzzy Petri Net for Choreography Based Semantic Web Services DiscoveryPeng Men, Zhenhua Duan, Bin Yu. 362-380 [doi]
- Formal Models for Multicast Traffic in Network on Chip Architectures with Compositional High-Level Petri NetsElisabeth Pelz, Dietmar Tutsch. 381-401 [doi]
- Name Creation vs. Replication in Petri Net SystemsFernando Rosa Velardo, David de Frutos-Escrig. 402-422 [doi]
- Modelling the Datagram Congestion Control Protocol s Connection Management and Synchronization ProceduresSomsak Vanit-Anunchai, Jonathan Billington. 423-444 [doi]
- The ComBack Method - Extending Hash Compaction with BacktrackingMichael Westergaard, Lars Michael Kristensen, Gerth Stølting Brodal, Lars Arge. 445-464 [doi]
- Computing Minimal Elements of Upward-Closed Sets for Petri NetsHsu-Chun Yen, Chien-Liang Chen. 465-483 [doi]
- ProM 4.0: Comprehensive Support for ::::Real:::: Process AnalysisWil M. P. van der Aalst, Boudewijn F. van Dongen, Christian W. Günther, R. S. Mans, Ana Karla Alves de Medeiros, Anne Rozinat, Vladimir Rubin, Minseok Song, H. M. W. (Eric) Verbeek, A. J. M. M. Weijters. 484-494 [doi]
- dmcG : A Distributed Symbolic Model Checker Based on GreatSPNAlexandre Hamez, Fabrice Kordon, Yann Thierry-Mieg, Fabrice Legond-Aubry. 495-504 [doi]
- Workcraft: A Static Data Flow Structure Editing, Visualisation and Analysis ToolIvan Poliakov, Danil Sokolov, Andrey Mokhov. 505-514 [doi]