Abstract is missing.
- Verification of Token-Scaling Models using an Under-ApproximationTorsten Liebke, Karsten Wolf. 1-9 [doi]
- Portfolio Management in Explicit Model CheckingKarsten Wolf. 10-28 [doi]
- Models for Dynamic Exploration of the Statespaces of Autonomous VehiclesJohan Arcile, Raymond R. Devillers, Hanna Klaudel. 29-48 [doi]
- Property-Preserving Transformations of Elementary Net Systems Based on MorphismsLuca Bernardinello, Irina A. Lomazova, Roman Nesterov, Lucia Pomello. 49-67 [doi]
- Model Checking Starvation for Resource-aware Active Objects with Coloured Petri NetsAnastasia Gkolfi, Einar Broch Johnsen, Lars Michael Kristensen, Ingrid Chieh Yu. 68-85 [doi]
- Algorithms for the Synthesis of Elementary Net Systems with LocalitiesAishah Ahmed, Marta Pietkiewicz-Koutny. 86-107 [doi]
- Faster Enabledness-Updates for the Reachability Graph ComputationTorsten Liebke, Christian Rosenke. 108-117 [doi]
- Modeling Trading Systems using Petri Net ExtensionsJulio Cesar Carrasquel, Irina A. Lomazova, Andrey Rivkin. 118-137 [doi]
- Translation Validation of Loop involving Code Optimizing Transformations using Petri Net based Models of ProgramsRakshit Mittal, Rochisnu Banerjee, Santonu Sarkar, Soumyadip Bandyopadhyay. 138-146 [doi]
- Büchi-Automata guided Partial Order Reduction for LTLTorsten Liebke. 147-166 [doi]
- Graphical Languages for Functional Reactive Modeling based on Petri netsDavid Mosteller, Michael Haustermann, Leonie S. Dreschler-Fischer. 167-180 [doi]
- Modular Model Checking of Reference Nets: MoMoCSven Willrodt, Daniel Moldt, Michael Simon. 181-193 [doi]
- Some Simple Extensions of Petri's CycloidsBjarne Jessen, Daniel Moldt. 194-213 [doi]
- Toward the Formal Verification of HILECOP: Formalization and Implementation of Synchronously Executed Petri NetsVincent Iampietro, David Andreu, David Delahaye. 214-215 [doi]
- Quantitative Reaction SystemsWen Zeng, Vasileios Germanos. 216-217 [doi]
- Modeling State Transitions with Colored Petri NetsRowland Pitts. 218-219 [doi]
- Analyzing Software Engineering Courses with Process Mining and Business IntelligenceDennis Schmitz, Matthias Feldmann, Daniel Moldt. 220-221 [doi]
- Modelling and Analyzing Electrocardiogram Events using Timed Coloured Petri NetsMohammed Assiri, Ryszard Janicki. 222-223 [doi]