![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
PNSE@Petri Nets 2023: Lisbon, Portugal
- Michael Köhler-Bussmeier, Daniel Moldt, Heiko Rölke:
Proceedings of the 2023 International Workshop on Petri Nets and Software Engineering (PNSE 2023) co-located with the 44th International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2023), June 27, 2023, Lisbon, Portugal. CEUR Workshop Proceedings 3430, CEUR-WS.org 2023
Keynote
- Wojciech Penczek:
Model Checking of Strategic Timed Temporal Logics (Invited Talk).
Session 1: Regular Papers
- Theresa Werner, Christof Päßler, Ivo Kabadshow, Matthias Werner:
A Petri-Net-Based Approach to Modeling Communication Algorithms for HPC Molecular Dynamics Simulations. 1-16 - Yann Thierry-Mieg:
Efficient Strategies to Compute Invariants, Bounds and Stable Places of Petri nets. 17-33 - Michael Köhler-Bussmeier, Heiko Rölke:
Petri-Nets@Run.Time: Handling Uncertainty during Run-Time Adaptation using Digital Twins. 34-52 - Federica Adobbati, Luca Bernardinello, Lucia Pomello:
Solving a Safety Game on the Unfolding of Safe Petri Nets. 53-69 - Michael Köhler-Bussmeier, Lorenzo Capra:
Robustness: A natural Definition based on Nets-within-Nets. 70-87 - Tom Meyer:
A Symmetric Petri Net Model of Generic Publish-Subscribe Systems for Verification and Business Process Conformance Checking. 88-109 - Rogardt Heldal, Lars Michael Kristensen, Keila Lima, Tosin Daniel Oyetoyan, Ngoc-Thanh Nguyen:
Towards a Formal and Executable Software Architecture Specification of the Smart Ocean Data Service Platform. 110-125 - Kyle Dingenouts, Mitchell Klijs, Jan Martijn E. M. van der Werf:
Modeling Interaction-Oriented Architectures using Choreographies. 126-142 - Salma Alharbi:
Hierarchical Simulation of Timed Behaviours of Structured Occurrence Nets. 143-166 - Mohammed Alahmadi:
Parameterised CSA-nets. 167-182
Session 2: Poster Presentations
- Nadiyah Almutairi:
Probabilistic Behavioural Acyclic Nets. - Tuwailaa Alshammari:
Integrating NLP and Structured Occurrence Nets for Crime Modelling: A Pattern-based Approach. - Sulochan Naik, Meenakshi D'Souza:
Fault Detection in Microservices using Petri Nets. - Carlos Galindo, Marisa Llorens, Sergio Pérez, Josep Silva:
Context-sensitive analysis of data interference for concurrent programs. - Karnika Shivhare, Rushikesh K. Joshi:
Semantic Preserving, Notational and Transformational Challenges in Transfiguring BPMN models into Petri Nets. - Karnika Shivhare, Rushikesh K. Joshi:
Exploring L* for Process Mining.
![](https://dblp.dagstuhl.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.