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

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

### Paris, France, June 25th, 2021 (due to COVID-19: virtual conference).

Edited by

### Michael Köhler-Bussmeier *
Ekkart Kindler **
Heiko Rölke ***

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

## Table of Contents

- Preface
  Summary: There were 20 papers submitted for peer-review to this workshop. Out of these, 13 papers were accepted for this volume.

### Session 1: Presentations

- Towards Modeling of Cardiac Pacemakers With Timed Coloured Petri Nets And Related Tools 1-20
  Mohammed Assiri, Ryszard Janicki
- Improving Drone-based Parcel Delivery in a Delivery System at its Capacity Limit 21-40
  Niclas zum Felde, Michael Köhler-Bussmeier, Jan Sudeikat
- Availability Analysis of the ONOS Architecture 41-64
  Michael Müller, Michael Köhler-Bussmeier
- Petri Net Sagas 65-84
  Jan Henrik Röwekamp, Manuela Buchholz, Daniel Moldt
- Cloud Native Simulation of Reference Nets 85-104
  Jan Henrik Röwekamp, Marvin Taube, Patrick Mohr, Daniel Moldt
- Collecting Structured Logs of Instances as Process Nets in Petriflow Language 105-122
  Gabriel Juhás, Tomáš Kováčik, Jakub Kovář, Martin Kranec
- The Reachability Problem for Acyclic Join-Free Petri nets is NP-complete 123-134
  Ronny Tredup, Sophie Wallner
- General Composition for Symmetric Net Arc Functions with Applications 135-154
  Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis
- An Enhanced Rewriting Logic Based Semantics for High Level Petri nets 155-174
  Ammar Boucherit, Kamel Barkaoui, Hasan Osman
- Verification of Communication Structured Acyclic Nets Using SAT 175-194
  Nadiyah Almutairi, Maciej Koutny
- Synthetic Portnet Generation with Controllable Complexity for Testing and Benchmarking 195-212
  Madiou Diallo, Benny Akesson, Debjyoti Bera, Ronald Begeer
- Distributed Population Protocols: Naturally! 213-232
  David de Frutos Escrig
- Master Channel Places for Communication Structured Acyclic Nets 233-240
  Mohammed Alahmadi

### Session 2: Invited Talk

- Scenario-Based Modeling and Programming of Distributed Systems 241-252
  Joel Greenyer

### Session 3: Poster Presentations

- On Modelling Cloud Native Applications 253-254
  Kent Inge Fagerland Simonsen
- Validating Extended Feature Model Configurations using Petri Nets 255-256
  Rakshit Mittal, Dominique Blouin, Soumyadip Bandyopadhyay
- Translation Validation of Scheduled Conditional Behavior using PN 257-258
  Rakshit Mittal, Soumyadip Bandyopadhyay

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