![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
PNSE@Petri Nets 2022: Bergen, Norway
- Michael Köhler-Bussmeier, Daniel Moldt, Heiko Rölke:
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. CEUR Workshop Proceedings 3170, CEUR-WS.org 2022
Session 1: Regular Papers
- Ruben Dobler Strand, Lars Michael Kristensen, Laure Petrucci:
Formal Specification and Validation of a Data-driven Software System for Fire Risk Prediction. 1-20 - Bart-Jan Hilbrands, Debjyoti Bera, Benny Akesson:
Partial Specifications of Component-Based Systems using Petri Nets. 21-39 - Lukas Voß, Sven Willrodt, Daniel Moldt, Michael Haustermann:
Between Expressiveness and Verifiability: P/T-nets with Synchronous Channels and Modular Structure. 40-59 - Federica Adobbati, Luca Bernardinello, Görkem Kilinç Soylu
, Lucia Pomello:
Information Flow among Transitions of Bounded Equal-Conflict Petri Nets. 60-79 - Michael Köhler-Bussmeier, Heiko Rölke:
Analysing Adaption Processes of Hornets. 80-98 - Rüdiger Valk, Daniel Moldt:
On Reduction of Cycloids. 99-118 - Franck Pommereau, Colin Thomas, Cédric Gaucherel:
EDEN Framework for Interactive Analysis of Ecosystems Models. 119-138 - Federica Adobbati, Lukasz Mikulski:
Analysing Multi-Agent Systems using 1-safe Petri Nets. 139-155 - Laif-Oke Clasen, Daniel Moldt, Marcel Hansson, Sven Willrodt, Lukas Voß:
Enhancement of Renew to Version 4.0 using JPMS. 156-167 - Nadiyah Almutairi:
Probabilistic Communication Structured Acyclic Nets. 168-187 - Tuwailaa Alshammari:
Towards Automatic Extraction of Events for SON Modelling. 188-201
Session 2: Short Papers
- Jörg Desel:
The Chameleon Game. 202-210
Session 3: Poster Presentations
- Elena Gómez-Martínez, José Ignacio Requeno:
Adaptative Systems Based on Continuous Observation of Petri Net Product Lines. 211-212 - Giann Karlo Aguirre-Samboní, Cédric Gaucherel, Stefan Haar, Franck Pommereau:
Reset Petri Net Unfolding Semantics for Ecosystem Hypergraphs. 213-214 - Mohammed Alahmadi:
Parametrisation of CSA-Nets. 215-216 - Karnika Shivhare, Rushikesh K. Joshi:
Trace Language: Mining Micro-configurations from Process Transition Traces. 217-218
Session 4: Keynote
- Einar Broch Johnsen:
Digital Twins: An Emerging Paradigm for Model-Centric Engineering (Invited Talk). 219
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.