default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID46th Petri Nets 2025: Paris, France
- Elvio Gilberto Amparore
, Lukasz Mikulski:
Application and Theory of Petri Nets and Concurrency - 46th International Conference, PETRI NETS 2025, Paris, France, June 22-27, 2025, Proceedings. Lecture Notes in Computer Science 15714, Springer 2025, ISBN 978-3-031-94633-2 - Marco Montali:
Automated Reasoning for Data-Aware Petri Nets. 1-17 - Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Loïc Hélouët, Philipp Schlehuber-Caissier:
Petri Nets and Higher-Dimensional Automata. 18-40 - Adam Banham, Yannis Bertrand, Robert Andrews, Moe Thandar Wynn, Sander J. J. Leemans:
Discovering the Influence of Exogenous Data on Decisions in Processes. 41-62 - Robin Bergenthum, Jakub Kovár:
Synthesizing Petri Nets from Labelled Petri Nets. 63-85 - Eike Best, Raymond Devillers, Petr Jancar:
Coverability in Well-Formed Free-Choice Nets. 86-108 - Benedikt Bollig, Marie Fortin, Paul Gastin:
High-Level Message Sequence Charts: Satisfiability and Realizability Revisited. 109-129 - Laif-Oke Clasen, Can Nayci, Daniel Moldt:
Distributed Reference Net Simulation Based on Event Streaming. 130-154 - Eike Best, Raymond Devillers:
Persistent Permutations, Fairness, Asymmetric Choice Petri Nets, and Ochmański's Conjecture. 155-173 - Tanguy Dubois, Kim G. Larsen, Jirí Srba:
Statistical Model Checking of Stochastic Timed-Arc Petri Nets. 174-196 - Luca Paparazzo, Loïc Hélouët, Nicolas Markey:
Energy Transfer in Timed Cyclic Networks. 197-218 - Priyanka Kamboj, Cyrille Artho, Roberto Guanciale, Reyhaneh Jabbarvand, Brighten Godfrey:
Leveraging Petri Nets for Workflow Anomaly Detection in Microservice Architectures. 219-241 - Humam Kourani, Gyunam Park, Wil M. P. van der Aalst:
Translating Workflow Nets into the Partially Ordered Workflow Language. 242-264 - Victor Khomenko, Maciej Koutny, Alex Yakovlev:
Distributed Places and Safe Net Reduction. 265-286 - Michael Köhler-Bußmeier, Lorenzo Capra:
Analysing Probabilistic Hornets. 287-309 - Sander J. J. Leemans, Marco Montali, Timo Gersing, Felix Engelhardt, Natalia Sidorova:
Enjoy the Silence, Part II: Probability-Based Queries on Stochastic Labelled Petri Nets. 310-332 - Didier Lime, Rémi Parrot, Olivier H. Roux:
Decidability Problems for Weak Time Petri Nets with Read, Reset and Transfer Arcs. 333-353 - Baptiste Pelletier, Charles Lesire, Karen Godary-Dejean:
SkiNet: A User-Oriented Tool for Petri Net-Based Analysis of Robotic Skills. 354-365 - Thomas M. Prinz, Christopher T. Schwanen, Wil M. P. van der Aalst:
Deciding (Sub-Marking) Reachability in ±b O(P2 + T2) for Sound Acyclic Free-Choice Workflow Nets. 366-387 - Christopher T. Schwanen, Wied Pakusa, Wil M. P. van der Aalst:
Complexity of Alignments on Sound Free-Choice Workflow Nets. 388-410 - Ariba Siddiqui, Wil M. P. van der Aalst, Daniel Schuster:
Computing Alignments for Partially-Ordered Traces Through Petri Net Unfoldings. 411-432 - Alexandre Duret-Lutz, Denis Poitrenaud, Yann Thierry-Mieg:
Simplifying LTL Model Checking Given Prior Knowledge. 433-456 - Rüdiger Valk:
Failure Resilience of Strongly Synchronized Processes. 457-477 - Lukas Zech:
Symbolic Model Checking in the Modular State Space Using Binary Decision Diagrams. 478-500
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 2025-10-09 22:37 CEST 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:
