Vol-2906⫷ Vol-2907 ⫸Vol-2908
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 |