Vol-3169⫷ Vol-3170 ⫸Vol-3171
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 |