Petri Nets B

20 papers

YearTitle / Authors
2022Aligning Event Logs to Resource-Constrained ν-Petri Nets.
Dominique Sommers, Natalia Sidorova, Boudewijn F. van Dongen
2022Application and Theory of Petri Nets and Concurrency - 43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19-24, 2022, Proceedings
Luca Bernardinello, Laure Petrucci
2022Avoiding Exponential Explosion in Petri Net Models of Control Flows.
Victor Khomenko, Maciej Koutny, Alex Yakovlev
2022Computing Transience Bounds of Emergency Call Centers: A Hierarchical Timed Petri Net Approach.
Xavier Allamigeon, Marin Boyet, Stéphane Gaubert
2022Data and Process Resonance - Identifier Soundness for Models of Information Systems.
Jan Martijn E. M. van der Werf, Andrey Rivkin, Artem Polyvyanyy, Marco Montali
2022Discovering Process Models with Long-Term Dependencies While Providing Guarantees and Handling Infrequent Behavior.
Lisa Luise Mannel, Wil M. P. van der Aalst
2022Discovering Unseen Behaviour from Event Logs.
Abel Armas-Cervantes, Farbod Taymouri
2022From Graphs to the Science Computer of a Space Telescope - The Power of Petri Nets in Systems Engineering.
Rafal Graczyk, Waldemar Bujwan, Marcin Darmetko, Marcin Dziezyc, Damien Galano, Konrad Grochowski, Michal A. Kurowski, Grzegorz Juchnikowski, Marek Morawski, Michal Mosdorf, Piotr Orleanski, Cedric Thizy, Marcus Völp
2022From Place Nets to Local Process Models.
Viki Peeva, Lisa Luise Mannel, Wil M. P. van der Aalst
2022IOPT-Tools - From Executable Models to Automatic Code Generation for Embedded Controllers Development.
Fernando Pereira, Filipe Moutinho, Anikó Costa, João-Paulo Barros, Rogério Campos-Rebelo, Luís Gomes
2022Kong: A Tool to Squash Concurrent Places.
Nicolas Amat, Louis Chauvet
2022Layered Memory Automata: Recognizers for Quasi-Regular Languages with Unbounded Memory.
Clément Bertrand, Hanna Klaudel, Frédéric Peschanski
2022Modelling the Next Generation ALICE Grid Middleware Using Coloured Petri Nets.
Maxim Storetvedt, Latchezar Betev, Nikola Hardi, Håvard Helstrup, Kristin Fanebust Hetland, Bjarte Kileng
2022OCπ: Object-Centric Process Insights.
Jan Niklas Adams, Wil M. P. van der Aalst
2022Petri Nets Semantics of Reaction Rules (RR) - A Language for Ecosystems Modelling.
Franck Pommereau, Colin Thomas, Cédric Gaucherel
2022Synthesis of Inhibitor-Reset Petri Nets: Algorithmic and Complexity Issues.
Raymond Devillers, Ronny Tredup
2022The Ins and Outs of Petri Net Composition.
Elvio G. Amparore, Susanna Donatelli
2022The Synthesis Problem for Repeatedly Communicating Petri Games.
Paul Hannibal, Ernst-Rüdiger Olderog
2022Towards the Application of Coloured Petri Nets for Design and Validation of Power Electronics Converter Systems.
Vegard Steinsland, Lars Michael Kristensen, Shujun Zhang
2022Waiting Nets.
Loïc Hélouët, Pranay Agrawal