Abstract is missing.
- Formal Specification and Validation of a Data-driven Software System for Fire Risk PredictionRuben Dobler Strand, Lars Michael Kristensen, Laure Petrucci. 1-20 [doi]
- Partial Specifications of Component-Based Systems using Petri NetsBart-Jan Hilbrands, Debjyoti Bera, Benny Akesson. 21-39 [doi]
- Between Expressiveness and Verifiability: P/T-nets with Synchronous Channels and Modular StructureLukas Voß, Sven Willrodt, Daniel Moldt, Michael Haustermann. 40-59 [doi]
- Information Flow among Transitions of Bounded Equal-Conflict Petri NetsFederica Adobbati, Luca Bernardinello, Görkem Kilinç Soylu, Lucia Pomello. 60-79 [doi]
- Analysing Adaption Processes of HornetsMichael Köhler-Bussmeier, Heiko Rölke. 80-98 [doi]
- On Reduction of CycloidsRüdiger Valk, Daniel Moldt. 99-118 [doi]
- EDEN Framework for Interactive Analysis of Ecosystems ModelsFranck Pommereau, Colin Thomas, Cédric Gaucherel. 119-138 [doi]
- Analysing Multi-Agent Systems using 1-safe Petri NetsFederica Adobbati, Lukasz Mikulski. 139-155 [doi]
- Enhancement of Renew to Version 4.0 using JPMSLaif-Oke Clasen, Daniel Moldt, Marcel Hansson, Sven Willrodt, Lukas Voß. 156-167 [doi]
- Probabilistic Communication Structured Acyclic NetsNadiyah Almutairi. 168-187 [doi]
- Towards Automatic Extraction of Events for SON ModellingTuwailaa Alshammari. 188-201 [doi]
- The Chameleon GameJörg Desel. 202-210 [doi]
- Adaptative Systems Based on Continuous Observation of Petri Net Product LinesElena Gómez-Martínez, José Ignacio Requeno. 211-212 [doi]
- Reset Petri Net Unfolding Semantics for Ecosystem HypergraphsGiann Karlo Aguirre-Samboní, Cédric Gaucherel, Stefan Haar, Franck Pommereau. 213-214 [doi]
- Parametrisation of CSA-NetsMohammed Alahmadi. 215-216 [doi]
- Trace Language: Mining Micro-configurations from Process Transition TracesKarnika Shivhare, Rushikesh K. Joshi. 217-218 [doi]
- Digital Twins: An Emerging Paradigm for Model-Centric Engineering (Invited Talk)Einar Broch Johnsen. 219 [doi]