PNSE@Petri Nets

Keyphrases

Publications

2024

Wil M. P. van der Aalst
Lifting Process Discovery and Conformance Checking to the Next Level: A General Approach to Object-Centric Process Mining (Invited Talk). PNSE@Petri Nets (2024)
Nuno Fernandes, João Paulo Barros, Rogério Campos-Rebelo
Leveraging High-Level Petri Nets for Cyber-Physical Systems Development. PNSE@Petri Nets (2024)
Mustafa Ghani, Holger Giese
Portable Nets: Modeling and Verification of Business Processes with multiple Start and End Points. PNSE@Petri Nets (2024)
José Ignacio Requeno, Elena Gómez-Martínez, Hannes Kallwies, Melanie Haustein, Martin Leucker, Volker Stolz, Patrick Stünkel
Runtime Verification of Timed Petri Nets. PNSE@Petri Nets (2024)
Michael Köhler-Bussmeier, Heiko Rölke
Design and Run-Time Analysis of Self-Adaption for Multi-Agent Organisations. PNSE@Petri Nets (2024)
Karsten Wolf
How to Verify Aggregating Global Properties. PNSE@Petri Nets (2024)
Akshit Rajput, Karnika Shivhare, Rushikesh K. Joshi
PLD-SiM: Process Line Diagram Simulator and Modeler. PNSE@Petri Nets (2024)
Luís Gomes, José Ribeiro-Gomes, João-Paulo Barros
Using Petri Nets for Analysis of Navigation Paths in Constrained Graphs - Application to Roguelike Games. PNSE@Petri Nets (2024)
Karnika Shivhare, Rushikesh K. Joshi
Mining Modular Structure of Processes using Process Line Diagrams. PNSE@Petri Nets (2024)
Simon Bott, Daniel Moldt, Laif-Oke Clasen, Marcel Hansson
Invariant Calculations for P/T-Nets with Synchronous Channels. PNSE@Petri Nets (2024)
Tuwailaa Alshammari
Extracting Data from Unstructured Crime Text to Represent in Structured Occurrence Nets using Natural Language Processing. PNSE@Petri Nets (2024)
Laif-Oke Clasen, Sophie Bartelt, Yannik Stahl, Daniel Moldt
Distributed P/T Net Simulation Prototypes Based on Event Streaming. PNSE@Petri Nets (2024)
Francesco Di Cosmo, Soumodev Mal, Tephilla Prince
Deciding Reachability and Coverability in Lossy EOS. PNSE@Petri Nets (2024)
Franck Pommereau, Cédric Gaucherel
A Multivalued, Spatialized, and Timed Modelling Language for Social-Ecological Systems. PNSE@Petri Nets (2024)
Lorenzo Capra, Michael Köhler-Bussmeier, Heiko Rölke, Jan Sudeikat
Petri Nets as Run-Time Models for Self-Adaptive Cyber-Physical Systems. PNSE@Petri Nets (2024)
Nadiyah Almutairi, Tuwailaa Alshammari, Mohammed Alahmadi
Process Mining Representation using Communication Structured Acyclic Nets (CSA-nets). PNSE@Petri Nets (2024)
Nicola Cotumaccio, Catia Trubiani
Convex Petri Nets. PNSE@Petri Nets (2024)
Kamila Barylska, Anna Gogolinska
Petri nets in Modeling Glucose Regulating Processes in the Liver. PNSE@Petri Nets (2024)
Maciej Koutny, Marta Pietkiewicz-Koutny
Synthesising ENI-Systems with Interval Order Semantics. PNSE@Petri Nets (2024)
Thomas M. Prinz, Julien Klaus, Nick R. T. P. van Beest
Pushing the Limits: Concurrency Detection in Acyclic Sound Free-Choice Workflow Nets in O(P² + T²). PNSE@Petri Nets (2024)
Julian Gaede, Judith-Henrike Overath, Sophie Wallner
Automatic Modularization of Place/Transition Nets. PNSE@Petri Nets (2024)

volume 3730, 2024

Proceedings of the International Workshop on Petri Nets and Software Engineering 2024 co-located with the 45th International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2024), June 24 - 25, 2024, Geneva, Switzerland. PNSE@Petri Nets 3730 (2024)

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)