| Vol-3170 urn:nbn:de:0074-3170-3 Copyright © 2022 for the individual papers by the papers' authors. Copyright © 2022 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 2022
International Workshop on Petri Nets and Software Engineering 2022

### Petri Nets and Software Engineering 2022
co-located with the 43rd International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2022)

### Bergen, Norway, June 20th, 2022.

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 20 papers submitted for peer-review to this workshop. Out of these, 12 papers were accepted for this volume.

### Session 1: Regular Papers

- Formal Specification and Validation of a Data-driven Software System for Fire Risk Prediction 1-20
  Ruben Dobler Strand, Lars Michael Kristensen, Laure Petrucci
- Partial Specifications of Component-Based Systems using Petri Nets 21-39
  Bart-Jan Hilbrands, Debjyoti Bera, Benny Akesson
- Between Expressiveness and Verifiability: P/T-nets with Synchronous Channels and Modular Structure 40-59
  Lukas Voß, Sven Willrodt, Daniel Moldt, Michael Haustermann
- Information Flow among Transitions of Bounded Equal-Conflict Petri Nets 60-79
  Federica Adobbati, Luca Bernardinello, Görkem Kılınç Soylu, Lucia Pomello
- Analysing Adaption Processes of Hornets 80-98
  Michael Köhler-Bussmeier, Heiko Rölke
- On Reduction of Cycloids 99-118
  Rüdiger Valk, Daniel Moldt
- EDEN Framework for Interactive Analysis of Ecosystems Models 119-138
  Franck Pommereau, Colin Thomas, Cédric Gaucherel
- Analysing Multi-Agent Systems using 1-safe Petri Nets 139-155
  Federica Adobbati, Łukasz Mikulski
- Enhancement of Renew to Version 4.0 using JPMS 156-167
  Laif-Oke Clasen, Daniel Moldt, Marcel Hansson, Sven Willrodt, Lukas Voß
- Probabilistic Communication Structured Acyclic Nets 168-187
  Nadiyah Almutairi
- Towards Automatic Extraction of Events for SON Modelling 188-201
  Tuwailaa Alshammari

### Session 2: Short Papers

- The Chameleon Game 202-210
  Jörg Desel

### Session 3: Poster Presentations

- Adaptative Systems Based on Continuous Observation of Petri Net Product Lines 211-212
  Elena Gómez-Martínez, José Ignacio Requeno
- Reset Petri Net Unfolding Semantics for Ecosystem Hypergraphs 213-214
  Giann Karlo Aguirre-Samboní, Cédric Gaucherel, Stefan Haar, Franck Pommereau
- Parametrisation of CSA-Nets 215-216
  Mohammed Alahmadi
- Trace Language: Mining Micro-configurations from Process Transition Traces 217-218
  Karnika Shivhare, Rushikesh K Joshi

### Session 4: Keynote

- Digital Twins: An Emerging Paradigm for Model-Centric Engineering (Invited Talk) 219
  Einar Broch Johnsen

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