Abstract is missing.
- Probabilistic Behavioural Acyclic NetsNadiyah Almutairi. [doi]
- Integrating NLP and Structured Occurrence Nets for Crime Modelling: A Pattern-based ApproachTuwailaa Alshammari. [doi]
- Semantic Preserving, Notational and Transformational Challenges in Transfiguring BPMN models into Petri NetsKarnika Shivhare, Rushikesh K. Joshi. [doi]
- Fault Detection in Microservices using Petri NetsSulochan Naik, Meenakshi D'Souza. [doi]
- Model Checking of Strategic Timed Temporal Logics (Invited Talk)Wojciech Penczek. [doi]
- Exploring L* for Process MiningKarnika Shivhare, Rushikesh K. Joshi. [doi]
- Context-sensitive analysis of data interference for concurrent programsCarlos Galindo 0002, Marisa Llorens, Sergio Pérez 0001, Josep Silva. [doi]
- A Petri-Net-Based Approach to Modeling Communication Algorithms for HPC Molecular Dynamics SimulationsTheresa Werner, Christof Päßler, Ivo Kabadshow, Matthias Werner. 1-16 [doi]
- Efficient Strategies to Compute Invariants, Bounds and Stable Places of Petri netsYann Thierry-Mieg. 17-33 [doi]
- Petri-Nets@Run.Time: Handling Uncertainty during Run-Time Adaptation using Digital TwinsMichael Köhler-Bussmeier, Heiko Rölke. 34-52 [doi]
- Solving a Safety Game on the Unfolding of Safe Petri NetsFederica Adobbati, Luca Bernardinello, Lucia Pomello. 53-69 [doi]
- Robustness: A natural Definition based on Nets-within-NetsMichael Köhler-Bussmeier, Lorenzo Capra. 70-87 [doi]
- A Symmetric Petri Net Model of Generic Publish-Subscribe Systems for Verification and Business Process Conformance CheckingTom Meyer. 88-109 [doi]
- Towards a Formal and Executable Software Architecture Specification of the Smart Ocean Data Service PlatformRogardt Heldal, Lars Michael Kristensen, Keila Lima, Tosin Daniel Oyetoyan, Ngoc-Thanh Nguyen 0002. 110-125 [doi]
- Modeling Interaction-Oriented Architectures using ChoreographiesKyle Dingenouts, Mitchell Klijs, Jan Martijn E. M. van der Werf. 126-142 [doi]
- Hierarchical Simulation of Timed Behaviours of Structured Occurrence NetsSalma Alharbi. 143-166 [doi]
- Parameterised CSA-netsMohammed Alahmadi. 167-182 [doi]