default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPNSE@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
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-22 19:08 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:
