Abstract is missing.
- Towards Modeling of Cardiac Pacemakers With Timed Coloured Petri Nets And Related ToolsMohammed Assiri, Ryszard Janicki. 1-20 [doi]
- Improving Drone-based Parcel Delivery in a Delivery System at its Capacity LimitNiclas zum Felde, Michael Köhler-Bußmeier, Jan Sudeikat. 21-40 [doi]
- Availability Analysis of the ONOS ArchitectureMichael Müller, Michael Köhler-Bußmeier. 41-64 [doi]
- Petri Net SagasJan Henrik Röwekamp, Manuela Buchholz, Daniel Moldt. 65-84 [doi]
- Cloud Native Simulation of Reference NetsJan Henrik Röwekamp, Marvin Taube, Patrick Mohr, Daniel Moldt. 85-104 [doi]
- Collecting Structured Logs of Instances as Process Nets in Petriflow LanguageGabriel Juhás, Tomás Kovácik, Jakub Kovár, Martin Kranec. 105-122 [doi]
- The Reachability Problem for Acyclic Join-Free Petri nets is NP-completeRonny Tredup, Sophie Wallner. 123-134 [doi]
- General Composition for Symmetric Net Arc Functions with ApplicationsLorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis. 135-154 [doi]
- An Enhanced Rewriting Logic Based Semantics for High Level Petri netsAmmar Boucherit, Kamel Barkaoui, Osman Hasan. 155-174 [doi]
- Verification of Communication Structured Acyclic Nets Using SATNadiyah Almutairi, Maciej Koutny. 175-194 [doi]
- Synthetic Portnet Generation with Controllable Complexity for Testing and BenchmarkingMadiou Diallo, Benny Akesson, Debjyoti Bera, Ronald Begeer. 195-212 [doi]
- Distributed Population Protocols: Naturally!David de Frutos-Escrig. 213-232 [doi]
- Master Channel Places for Communication Structured Acyclic NetsMohammed Alahmadi. 233-240 [doi]
- Scenario-Based Modeling and Programming of Distributed SystemsJoel Greenyer. 241-252 [doi]
- On Modelling Cloud Native ApplicationsKent Inge Fagerland Simonsen. 253-254 [doi]
- Validating Extended Feature Model Configurations using Petri NetsRakshit Mittal, Dominique Blouin, Soumyadip Bandyopadhyay. 255-256 [doi]
- Translation Validation of Scheduled Conditional Behavior using PNRakshit Mittal, Soumyadip Bandyopadhyay. 257-258 [doi]