default search action
PNSE@Petri Nets 2020: online event [Paris, France]
- Michael Köhler-Bußmeier, Ekkart Kindler, Heiko Rölke:
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). CEUR Workshop Proceedings 2651, CEUR-WS.org 2020
Session 1: Long Presentations
- Torsten Liebke, Karsten Wolf:
Verification of Token-Scaling Models using an Under-Approximation. 1-9 - Karsten Wolf:
Portfolio Management in Explicit Model Checking. 10-28 - Johan Arcile, Raymond R. Devillers, Hanna Klaudel:
Models for Dynamic Exploration of the Statespaces of Autonomous Vehicles. 29-48 - Luca Bernardinello, Irina A. Lomazova, Roman Nesterov, Lucia Pomello:
Property-Preserving Transformations of Elementary Net Systems Based on Morphisms. 49-67 - Anastasia Gkolfi, Einar Broch Johnsen, Lars Michael Kristensen, Ingrid Chieh Yu:
Model Checking Starvation for Resource-aware Active Objects with Coloured Petri Nets. 68-85 - Aishah Ahmed, Marta Pietkiewicz-Koutny:
Algorithms for the Synthesis of Elementary Net Systems with Localities. 86-107
Session 2: Short Presentations
- Torsten Liebke, Christian Rosenke:
Faster Enabledness-Updates for the Reachability Graph Computation. 108-117 - Julio Cesar Carrasquel, Irina A. Lomazova, Andrey Rivkin
:
Modeling Trading Systems using Petri Net Extensions. 118-137 - Rakshit Mittal, Rochisnu Banerjee, Santonu Sarkar, Soumyadip Bandyopadhyay:
Translation Validation of Loop involving Code Optimizing Transformations using Petri Net based Models of Programs. 138-146 - Torsten Liebke:
Büchi-Automata guided Partial Order Reduction for LTL. 147-166 - David Mosteller, Michael Haustermann, Leonie S. Dreschler-Fischer:
Graphical Languages for Functional Reactive Modeling based on Petri nets. 167-180 - Sven Willrodt, Daniel Moldt, Michael Simon:
Modular Model Checking of Reference Nets: MoMoC. 181-193 - Bjarne Jessen, Daniel Moldt:
Some Simple Extensions of Petri's Cycloids. 194-213
Session 3: Poster Presentations
- Vincent Iampietro, David Andreu, David Delahaye:
Toward the Formal Verification of HILECOP: Formalization and Implementation of Synchronously Executed Petri Nets. 214-215 - Wen Zeng, Vasileios Germanos:
Quantitative Reaction Systems. 216-217 - Rowland Pitts:
Modeling State Transitions with Colored Petri Nets. 218-219 - Dennis Schmitz, Matthias Feldmann, Daniel Moldt:
Analyzing Software Engineering Courses with Process Mining and Business Intelligence. 220-221 - Mohammed Assiri, Ryszard Janicki:
Modelling and Analyzing Electrocardiogram Events using Timed Coloured Petri Nets. 222-223
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-29 01:15 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: