Abstract is missing.
- Instance Deadlock: A Mystery behind Frozen ProgramsGabriel Juhás, Igor Kazlov, Ana Juhásová. 1-17 [doi]
- Some Thoughts on Behavioral ProgrammingDavid Harel. 18 [doi]
- Petri Nets with Localities and TestingJetty Kleijn, Maciej Koutny. 19-38 [doi]
- A Perspective on Explicit State Space Exploration of Coloured Petri Nets: Past, Present, and FutureLars Michael Kristensen. 39-42 [doi]
- Can Stubborn Sets Be Optimal?Antti Valmari, Henri Hansen. 43-62 [doi]
- Efficient Computation of Causal Behavioural Profiles Using Structural DecompositionMatthias Weidlich, Artem Polyvyanyy, Jan Mendling, Mathias Weske. 63-83 [doi]
- Canonical Transition Set Semantics for Petri NetsYunhe Wang, Li Jiao. 84-103 [doi]
- A Characterization of Combined Traces Using Labeled Stratified Order StructuresDai Tri Man Le. 104-124 [doi]
- Integrated Process Planning and Supply Chain Configuration for Commodity Assemblies Using Petri NetsOleg Yu. Gusikhin, Erica Klampfl. 125-144 [doi]
- The NEO Protocol for Large-Scale Distributed Database Systems: Modelling and Initial VerificationChristine Choppy, Anna Dedova, Sami Evangelista, Silien Hong, Kais Klai, Laure Petrucci. 145-164 [doi]
- Factorization Properties of Symbolic Unfoldings of Colored Petri NetsThomas Chatain, Eric Fabre. 165-184 [doi]
- Forward Analysis for Petri Nets with Name CreationFernando Rosa Velardo, David de Frutos-Escrig. 185-205 [doi]
- Learning Workflow Petri NetsJavier Esparza, Martin Leucker, Maximilian Schlund. 206-225 [doi]
- Process Mining from a Basis of State RegionsMarc Solé, Josep Carmona. 226-245 [doi]
- Separability in Persistent Petri NetsEike Best, Philippe Darondeau. 246-266 [doi]
- New Algorithms for Deciding the Siphon-Trap PropertyOlivia Oanea, Harro Wimmel, Karsten Wolf. 267-286 [doi]
- AlPiNA: A Symbolic Model CheckerDidier Buchs, Steve Hostettler, Alexis Marechal, Matteo Risoldi. 287-296 [doi]
- Wendy: A Tool to Synthesize Partners for ServicesNiels Lohmann, Daniela Weinberg. 297-307 [doi]
- GreatSPN Enhanced with Decision Diagram Data StructuresJunaid Babar, Marco Beccuti, Susanna Donatelli, Andrew S. Miner. 308-317 [doi]
- PNML Framework: An Extendable Reference Implementation of the Petri Net Markup LanguageLom-Messan Hillah, Fabrice Kordon, Laure Petrucci, Nicolas Trèves. 318-327 [doi]