Vol-2650⫷ Vol-2651 ⫸Vol-2652
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 |