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|