PNSE 2023
Petri Nets and Software Engineering 2023

Table of Contents

• Preface
  Summary: There were 18 papers submitted for peer-review to this workshop. Out of these, 10 papers were accepted for this volume. Additionally, we accepted six of the submitted posters.

Keynote

• Model Checking of Strategic Timed Temporal Logics (Invited Talk)
  Wojciech Penczek

Session 1: Regular Papers

• A Petri-Net-Based Approach to Modeling Communication Algorithms for HPC Molecular Dynamics Simulations 1-16
  Theresa Werner , Christof Päßler , Ivo Kabadshow , Matthias Werner
• Efficient Strategies to Compute Invariants, Bounds and Stable Places of Petri nets 17-33
  Yann Thierry-Mieg
• Petri-Nets@Run.Time: Handling Uncertainty during Run-Time Adaptation using Digital Twins 34-52
  Michael Köhler-Bussmeier , Heiko Rölke
• Solving a Safety Game on the Unfolding of Safe Petri Nets 53-69
  Federica Adobbati , Luca Bernardinello , Lucia Pomello
• Robustness: A natural Definition based on Nets-within-Nets 70-87
  Michael Köhler-Bussmeier , Lorenzo Capra
• A Symmetric Petri Net Model of Generic Publish-Subscribe Systems for Verification and Business Process Conformance Checking 88-109
  Tom Meyer
• Towards a Formal and Executable Software Architecture Specification of the Smart Ocean Data Service Platform 110-125
  Lars Kristensen , Keila Lima , Thanh Nguyen , Rogardt Heldal , Tosin Oyetoyan
• Modeling Interaction-Oriented Architectures using Choreographies 126-142
  Kyle Dingenouts , Mitchell Klijs , Jan Martijn van der Werf
• Hierarchical Simulation of Timed Behaviours of Structured Occurrence Nets 143-166
  Salma Alharbi
• Parameterised CSA-nets 167-182
  Mohammed Alahmadi

Session 2: Poster Presentations

• Probabilistic Behavioural Acyclic Nets
  Nadiyah Almutairi
• Integrating NLP and Structured Occurrence Nets for Crime Modelling: A Pattern-based Approach
  Tuwailaa Alshammari
• Fault Detection in Microservices using Petri Nets
  Sulochan Naik , Meenakshi D’Souza
• Context-sensitive analysis of data interference for concurrent programs
  Carlos Galindo , Marisa Llorens , Sergio Pérez , Josep Silva
• Semantic Preserving, Notational and Transformational Challenges in Transfiguring BPMN models into Petri Nets
  Karnika Shivhare , Rushikesh Joshi
• Exploring L* for Process Mining
  Karnika Shivhare , Rushikesh Joshi