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