Vol-2651
urn:nbn:de:0074-2651-3

Copyright © 2020 for the individual papers by the papers' authors. Copyright © 2020 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 2020
Petri Nets and Software Engineering 2020

Proceedings of the International Workshop on Petri Nets and Software Engineering
co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2020)

Paris, France, June 24, 2020 (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 by the PNSE'2020 Editors

Session 1: Long Presentations

Verification of Token-Scaling Models using an Under-Approximation 1-9
Torsten Liebke, Karsten Wolf
Portfolio Management in Explicit Model Checking 10-28
Karsten Wolf
Models for Dynamic Exploration of the Statespaces of Autonomous Vehicles 29-48
Johan Arcile, Raymond Devillers, Hanna Klaudel
Property-Preserving Transformations of Elementary Net Systems Based on Morphisms 49-67
Luca Bernardinello, Irina Lomazova, Roman Nesterov, Lucia Pomello
Model Checking Starvation for Resource-aware Active Objects with Coloured Petri Nets 68-85
Anastasia Gkolfi, Einar Broch Johnsen, Lars Michael Kristensen, Ingrid Chieh Yu
Algorithms for the Synthesis of Elementary Net Systems with Localities 86-107
Aishah Ahmed, Marta Pietkiewicz-Koutny

Session 2: Short Presentations

Faster Enabledness-Updates for the Reachability Graph Computation 108-117
Torsten Liebke, Christian Rosenke
Modeling Trading Systems using Petri Net Extensions 118-137
Julio Cesar Carrasquel, Irina Lomazova, Andrey Rivkin
Translation Validation of Loop involving Code Optimizing Transformations using Petri Net based Models of Programs 138-146
Rakshit Mittal, Rochisnu Banerjee, Santonu Sarkar, Soumyadip Bandyopadhyay
Büchi-Automata guided Partial Order Reduction for LTL 147-166
Torsten Liebke
Graphical Languages for Functional Reactive Modeling based on Petri nets 167-180
David Mosteller, Michael Haustermann, Leonie Dreschler-Fischer
Modular Model Checking of Reference Nets: MoMoC 181-193
Sven Willrodt, Daniel Moldt, Michael Simon
Some Simple Extensions of Petri's Cycloids 194-213
Bjarne Jessen, Daniel Moldt

Session 3: Poster Presentations

Toward the Formal Verification of HILECOP: Formalization and Implementation of Synchronously Executed Petri Nets 214-215
Vincent Iampietro, David Andreu, David Delahaye
Quantitative Reaction Systems 216-217
Wen Zeng, Vasileios Germanos
Modeling State Transitions with Colored Petri Nets 218-219
Rowland Pitts
Analyzing Software Engineering Courses with Process Mining and Business Intelligence 220-221
Dennis Schmitz, Matthias Feldmann, Daniel Moldt
Modelling and Analyzing Electrocardiogram Events using Timed Coloured Petri Nets 222-223
Mohammed Assiri, Ryszard Janicki

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