PN-WS 2025
Joint Workshop Proceedings of PNSE, ATAED, and PeNGE at PETRI NETS 2025

Table of Contents

These are the joint proceedings of the workshops held at the 46th International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2025), namely: Petri Nets and Software Engineering (PNSE'25), Algorithms & Theories for the Analysis of Event Data (ATAED’25), and Petri Net Games, Examples and Quizzes for Education, Contest and Fun (PeNGE’25).

The 46th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2025) is organized by the SAFER team from Laboratoire d’Informatique de Paris Nord (LIPN), Université Sorbonne Paris Nord jointly with members of the MeFoSyLoMa group.

• Preface for PNSE'25: The PNSE workshop emphasizes on the impact of software engineering in general and its development based on Petri nets. More information about the workshop can be found at the PNSE web site. There were 16 papers submitted for peer-review to PNSE'25. Out of these, 8 papers were accepted for this volume. Additionally, we included extended abstracts for submitted posters.
• Preface for ATAED'25: The workshop aims to attract papers related to process mining, region theory and other synthesis techniques. There were 6 papers submitted for peer-review to ATAED'25. Out of these, 4 papers were accepted for this volume.
• Preface for PeNGE'25: The workshop aims to attract short papers that present examples for the use of Petri nets for elegant modeling, analysis or problem solving. A particular objective of the workshop is the collection of examples that can be used for exemplary modeling or application of analysis concepts in education. There were 4 papers submitted for peer-review to PeNGE'25 and all of them were accepted.

PNSE'25 Keynote

• Practical Lessons from Applying Large Language Models in Teaching, Development, and Research (Invited Talk)
  Yann Thierry-Mieg

Session 1: PNSE'25 - Long Presentations

• Coupling and Cohesion Measures for Calculating P-Invariants for Modular P/T Nets 1-23
  Simon Bott, Laif-Oke Clasen, Marcel Hansson, Niklas Levens, Daniel Moldt
• Modelling and Analysis of Self-Adaptive Systems using Petri Nets: A Robot Kitchen Case Study 24-39
  Finn Wellershaus, Michael Köhler-Bußmeier, Jan Sudeikat
• Glucagon and Insulin Production in Pancreatic Cells modeled using Petri Nets and Boolean Networks 40-59
  Kamila Barylska, Franck Delaplace, Anna Gogolińska, Ewa Pańkowska
• Resilient Distributed P/T Net Simulators 60-80
  Laif-Oke Clasen, Patrick Leonhardt, Leven Wichelman

Session 2: PNSE'25 - Short Presentations

• Towards Process Mining for Nets within Nets 81-96
  Heiko Rölke
• Home Spaces and Semiflows for the Analysis of Parameterized Petri Nets 97-113
  Gerard Memmi
• A Modular Petri Net Model for the Interlocking Post Control System 114-123
  Mariusz Kaniecki, Marcin Piątkowski
• Investigations Towards Dynamic Scaling of Distributed P/T Nets 124-144
  Laif-Oke Clasen, Can Nayci, Efe Nayci, Justus Middendorf, Till Mack

Session 3: ATAED'25 Presentations

• Interval Order Synthesis of EN-Systems with Read and Mutex Arcs 145-159
  Maciej Koutny, Marta Pietkiewicz-Koutny, Łukasz Mikulski
• Alignments meet Linear Algebra 160-165
  Christopher T. Schwanen, Wied Pakusa, Wil van der Aalst
• Timed Anti-Alignments for Acyclic Marked Graphs 166-184
  Stefano Bavaro, Thomas Chatain, Boudewijn van Dongen
• Probabilistic Programming for Trace Generation (and Beyond) 185-200
  Martin Kuhn, Joscha Grüger, Christoph Matheja, Andrey Rivkin

Session 4: PeNGE'25 Presentations - Puzzles and Solutions

• Formal Models are Magic 2001-208
  Davide Catta, Wojciech Penczek, Laure Petrucci
• Solving Combinatorial Problems using Coloured Petri Nets 209-216
  Somsak Vanit-Anunchai

Session 5: PeNGE'25 Presentations - Teaching Petri Nets

• Composing Chameleons 217-223
  Jörg Desel
• Modeling Distributed Systems and Processes with Petri Nets – the Big Picture 224-231
  Jörg Desel, Julia Fleischer

Session 6: PNSE'25 Poster Presentations

• Algebraic Petri Nets with Active Tokens: Effective Implementation in Maude
  Lorenzo Capra, Michael Köhler-Bußmeier
• Towards Soundness-Preserving Composition with Portable Nets
  Mustafa Ghani, Holger Giese
• A new Approach to Generalized Stochastic Petri Nets - Probabilistic Selection Petri Nets
  Kamila Barylska, Anna Gogolińska
• Towards an Enhancement of Coarse Design Diagrams in Renew
  Marcel Hansson, Clara Dorothea von Bargen, Daniel Moldt
• Abstraction-Based Deadlock Analysis of Service-Oriented Systems with Recursive Petri Nets
  Erik Jonas Hartnick, Mandy Weißbach