Petri Nets

Keyphrases

Publications

2023

Raymond R. Devillers
On the Reversibility of Circular Conservative Petri Nets. Petri Nets (2023)
Daniël Barenholz, Marco Montali, Artem Polyvyanyy, Hajo A. Reijers, Andrey Rivkin, Jan Martijn E. M. van der Werf
There and Back Again - On the Reconstructability and Rediscoverability of Typed Jackson Nets. Petri Nets (2023)
Seyedehzahra Hosseini, Gianfranco Ciardo
Computing Under-approximations of Multivalued Decision Diagrams. Petri Nets (2023)
Midhun Xavier, Sandeep Patil, Victor Dubinin, Valeriy Vyatkin
Formal Modelling, Analysis, and Synthesis of Modular Industrial Systems Inspired by Net Condition/Event Systems. Petri Nets (2023)
Stefanie Rinderle-Ma, Janik-Vasily Benzin, Juergen Mangler
From Process-Agnostic to Process-Aware Automation, Mining, and Prediction. Petri Nets (2023)
Vlad Paul Cosma, Thomas T. Hildebrandt, Tijs Slaats
Transforming Dynamic Condition Response Graphs to Safe Petri Nets. Petri Nets (2023)
Loriane Leclercq, Didier Lime, Olivier H. Roux
A State Class Based Controller Synthesis Approach for Time Petri Nets. Petri Nets (2023)
Remigiusz Wisniewski, Grzegorz Bazydlo, Marcin Wojnakowski, Mateusz Poplawski
Hippo-CPS: A Tool for Verification and Analysis of Petri Net-Based Cyber-Physical Systems. Petri Nets (2023)
Daniel Moldt, Jonte Johnsen, Relana Streckenbach, Laif-Oke Clasen, Michael Haustermann, Alexander Heinze, Marcel Hansson, Matthias Feldmann, Karl Ihlenfeldt
RENEW: Modularized Architecture and New Features. Petri Nets (2023)
Uli Fahrenberg, Krzysztof Ziemianski
A Myhill-Nerode Theorem for Higher-Dimensional Automata. Petri Nets (2023)
Nicolas Amat, Silvano Dal-Zilio, Didier Le Botlan
Automated Polyhedral Abstraction Proving. Petri Nets (2023)
Sabine Folz-Weinstein, Robin Bergenthum, Jörg Desel, Jakub Kovár
Miner - Process Discovery for Partially Ordered Event Logs Using Integer Linear Programming. Petri Nets (2023)
Yisong Zhang, Wil M. P. van der Aalst
Explorative Process Discovery Using Activity Projections. Petri Nets (2023)
Felix Mannhardt, Sander J. J. Leemans, Christopher T. Schwanen, Massimiliano de Leoni
Modelling Data-Aware Stochastic Processes - Discovery and Conformance Checking. Petri Nets (2023)
Ryszard Janicki, Maciej Koutny, Lukasz Mikulski
Interval Traces with Mutex Relation. Petri Nets (2023)
Sami Evangelista
Experimenting with Stubborn Sets on Petri Nets. Petri Nets (2023)
Daniel Moldt, Marcel Hansson, Lukas Seifert, Karl Ihlenfeldt, Laif-Oke Clasen, Kjell Ehlers, Matthias Feldmann
Enriching Heraklit Modules by Agent Interaction Diagrams. Petri Nets (2023)
Loïc Hélouët, Antoine Thébault
Mochy: A Tool for the Modeling of Concurrent Hybrid Systems. Petri Nets (2023)
Dominique Sommers, Natalia Sidorova, Boudewijn F. van Dongen
Exact and Approximated Log Alignments for Processes with Inter-case Dependencies. Petri Nets (2023)
Robin Bergenthum, Sabine Folz-Weinstein, Jakub Kovár
Token Trail Semantics - Modeling Behavior of Petri Nets with Labeled Petri Nets. Petri Nets (2023)
Florian Wittbold, Rebecca Bernemann, Reiko Heckel, Tobias Heindel, Barbara König
Stochastic Decision Petri Nets. Petri Nets (2023)
Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci, Fredrik Rømming
Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving. Petri Nets (2023)
Nick Würdemann, Thomas Chatain, Stefan Haar
Taking Complete Finite Prefixes to High Level, Symbolically. Petri Nets (2023)

volume 13929, 2023

Application and Theory of Petri Nets and Concurrency - 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25-30, 2023, Proceedings Petri Nets 13929 (2023)

2022

volume 13288, 2022

Application and Theory of Petri Nets and Concurrency - 43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19-24, 2022, Proceedings Petri Nets 13288 (2022)

2021

volume 12734, 2021

Application and Theory of Petri Nets and Concurrency - 42nd International Conference, PETRI NETS 2021, Virtual Event, June 23-25, 2021, Proceedings Petri Nets 12734 (2021)