| Vol-3730 urn:nbn:de:0074-3730-9 Copyright © 2024 for the individual papers by the papers' authors. Copyright © 2024 for the volume as a collection by its editors. This volume and its papers are published under the Creative Commons License Attribution 4.0 International (CC BY 4.0).

# PNSE 2024
Petri Nets and Software Engineering 2024

### Proceedings of the International Workshop on Petri Nets and Software Engineering 2024
co-located with the 45th International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2024)

### June 24 - 25, 2024, Geneva, Switzerland.

Edited by

### Michael Köhler-Bussmeier *
Daniel Moldt **
Heiko Rölke ***

* University of Applied Science Hamburg, Germany
** University of Hamburg, Germany
*** Fachhochschule Graubünden, Switzerland

## 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

2024-06-20: submitted by Michael Köhler-Bussmeier, metadata incl. bibliographic data published under Creative Commons CC0
2024-07-17: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|