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
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|