PNSE@Petri Nets

Keyphrases

Publications

2023

Michael Köhler-Bussmeier, Heiko Rölke
Petri-Nets@Run.Time: Handling Uncertainty during Run-Time Adaptation using Digital Twins. PNSE@Petri Nets (2023)
Theresa Werner, Christof Päßler, Ivo Kabadshow, Matthias Werner
A Petri-Net-Based Approach to Modeling Communication Algorithms for HPC Molecular Dynamics Simulations. PNSE@Petri Nets (2023)
Nadiyah Almutairi
Probabilistic Behavioural Acyclic Nets. PNSE@Petri Nets (2023)
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. PNSE@Petri Nets (2023)
Michael Köhler-Bussmeier, Lorenzo Capra
Robustness: A natural Definition based on Nets-within-Nets. PNSE@Petri Nets (2023)
Kyle Dingenouts, Mitchell Klijs, Jan Martijn E. M. van der Werf
Modeling Interaction-Oriented Architectures using Choreographies. PNSE@Petri Nets (2023)
Tuwailaa Alshammari
Integrating NLP and Structured Occurrence Nets for Crime Modelling: A Pattern-based Approach. PNSE@Petri Nets (2023)
Wojciech Penczek
Model Checking of Strategic Timed Temporal Logics (Invited Talk). PNSE@Petri Nets (2023)
Salma Alharbi
Hierarchical Simulation of Timed Behaviours of Structured Occurrence Nets. PNSE@Petri Nets (2023)
Mohammed Alahmadi
Parameterised CSA-nets. PNSE@Petri Nets (2023)
Yann Thierry-Mieg
Efficient Strategies to Compute Invariants, Bounds and Stable Places of Petri nets. PNSE@Petri Nets (2023)
Federica Adobbati, Luca Bernardinello, Lucia Pomello
Solving a Safety Game on the Unfolding of Safe Petri Nets. PNSE@Petri Nets (2023)
Tom Meyer
A Symmetric Petri Net Model of Generic Publish-Subscribe Systems for Verification and Business Process Conformance Checking. PNSE@Petri Nets (2023)

volume 3430, 2023

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. PNSE@Petri Nets 3430 (2023)

2022

volume 3170, 2022

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. PNSE@Petri Nets 3170 (2022)

2021

volume 2907, 2021

Proceedings of the International Workshop on Petri Nets and Software Engineering 2021 co-located with the 42nd International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2021), Paris, France, June 25th, 2021 (due to COVID-19: virtual conference). PNSE@Petri Nets 2907 (2021)