default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPNSE@Petri Nets 2024: Geneva, Switzerland
- Michael Köhler-Bussmeier, Daniel Moldt, Heiko Rölke:
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. CEUR Workshop Proceedings 3730, CEUR-WS.org 2024
Keynote
- 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). 1-12
Session 1: Long Presentations
- Franck Pommereau, Cédric Gaucherel:
A Multivalued, Spatialized, and Timed Modelling Language for Social-Ecological Systems. 13-32 - Maciej Koutny, Marta Pietkiewicz-Koutny:
Synthesising ENI-Systems with Interval Order Semantics. 33-52 - Julian Gaede, Judith-Henrike Overath, Sophie Wallner:
Automatic Modularization of Place/Transition Nets. 53-73 - Francesco Di Cosmo, Soumodev Mal, Tephilla Prince:
Deciding Reachability and Coverability in Lossy EOS. 74-95
Session 2: Short Presentations
- Karsten Wolf:
How to Verify Aggregating Global Properties. 96-103 - Simon Bott, Daniel Moldt, Laif-Oke Clasen, Marcel Hansson:
Invariant Calculations for P/T-Nets with Synchronous Channels. 104-121 - 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. 122-131 - 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²). 132-154 - Nuno Fernandes, João Paulo Barros, Rogério Campos-Rebelo:
Leveraging High-Level Petri Nets for Cyber-Physical Systems Development. 155-163 - Lorenzo Capra, Michael Köhler-Bussmeier, Heiko Rölke, Jan Sudeikat:
Petri Nets as Run-Time Models for Self-Adaptive Cyber-Physical Systems. 164-181 - Akshit Rajput, Karnika Shivhare, Rushikesh K. Joshi:
PLD-SiM: Process Line Diagram Simulator and Modeler. 182-191 - Laif-Oke Clasen, Sophie Bartelt, Yannik Stahl, Daniel Moldt:
Distributed P/T Net Simulation Prototypes Based on Event Streaming. 192-216 - Nadiyah Almutairi, Tuwailaa Alshammari, Mohammed Alahmadi:
Process Mining Representation using Communication Structured Acyclic Nets (CSA-nets). 217-232 - Michael Köhler-Bussmeier, Heiko Rölke:
Design and Run-Time Analysis of Self-Adaption for Multi-Agent Organisations. 233-260 - Kamila Barylska, Anna Gogolinska:
Petri nets in Modeling Glucose Regulating Processes in the Liver. 261-269 - Tuwailaa Alshammari:
Extracting Data from Unstructured Crime Text to Represent in Structured Occurrence Nets using Natural Language Processing. 270-282 - 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. 283-298
Session 3: Poster Presentations
- Nicola Cotumaccio, Catia Trubiani:
Convex Petri Nets. - Karnika Shivhare, Rushikesh K. Joshi:
Mining Modular Structure of Processes using Process Line Diagrams. - Mustafa Ghani, Holger Giese:
Portable Nets: Modeling and Verification of Business Processes with multiple Start and End Points.
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-11-13 23:36 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:
