PNSE 2024
Petri Nets and Software Engineering 2024

Table of Contents

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

Keynote

• Lifting Process Discovery and Conformance Checking to the Next Level: A General Approach to Object-Centric Process Mining (Invited Talk) 1-12
  Wil M.P. van der Aalst

Session 1: Long Presentations

• A Multivalued, Spatialized, and Timed Modelling Language for Social-Ecological Systems 13-32
  Franck Pommereau, Cédric Gaucherel
• Synthesising ENI-Systems with Interval Order Semantics 33-52
  Maciej Koutny, Marta Pietkiewicz-Koutny
• Automatic Modularization of Place/Transition Nets 53-73
  Julian Gaede, Judith-Henrike Overath, Sophie Wallner
• Deciding Reachability and Coverability in Lossy EOS 74-95
  Francesco Di Cosmo, Soumodev Mal, Tephilla Prince

Session 2: Short Presentations

• How to Verify Aggregating Global Properties 96-103
  Karsten Wolf
• Invariant Calculations for P/T-Nets with Synchronous Channels 104-121
  Simon Bott, Daniel Moldt, Laif-Oke Clasen, Marcel Hansson
• Runtime Verification of Timed Petri Nets 122-131
  José Ignacio Requeno, Elena Gómez-Martínez, Hannes Kallwies, Melanie Haustein, Martin Leucker, Volker Stolz, Patrick Stünkel
• Pushing the Limits: Concurrency Detection in Acyclic Sound Free-Choice Workflow Nets in O(P² + T²) 132-154
  Thomas M. Prinz, Julien Klaus, Nick R.T.P. van Beest
• Leveraging High-Level Petri Nets for Cyber-Physical Systems Development 155-163
  Nuno Fernandes, João Paulo Barros, Rogério Campos-Rebelo
• Petri Nets as Run-Time Models for Self-Adaptive Cyber-Physical Systems 164-181
  Lorenzo Capra, Michael Köhler-Bussmeier, Heiko Rölke, Jan Sudeikat
• PLD-SiM: Process Line Diagram Simulator and Modeler 182-191
  Akshit Rajput, Karnika Shivhare, Rushikesh Joshi
• Distributed P/T Net Simulation Prototypes Based on Event Streaming 192-216
  Laif-Oke Clasen, Sophie Bartelt, Yannik Stahl, Daniel Moldt
• Process Mining Representation using Communication Structured Acyclic Nets (CSA-nets) 217-232
  Nadiyah Almutairi, Tuwailaa Alshammari, Mohammed Alahmadi
• Design and Run-Time Analysis of Self-Adaption for Multi-Agent Organisations 233-260
  Michael Köhler-Bussmeier, Heiko Rölke
• Petri nets in Modeling Glucose Regulating Processes in the Liver 261-269
  Kamila Barylska, Anna Gogolińska
• Extracting Data from Unstructured Crime Text to Represent in Structured Occurrence Nets using Natural Language Processing 270-282
  Tuwailaa Alshammari
• Using Petri Nets for Analysis of Navigation Paths in Constrained Graphs - Application to Roguelike Games 283-298
  Luis Gomes, José Ribeiro-Gomes, Joao-Paulo Barros

Session 3: Poster Presentations

• Convex Petri Nets
  Nicola Cotumaccio, Catia Trubiani
• Mining Modular Structure of Processes using Process Line Diagrams
  Karnika Shivhare, Rushikesh K. Joshi
• Portable Nets: Modeling and Verification of Business Processes with multiple Start and End Points
  Mustafa Ghani, Holger Giese