default search action
43rd Petri Nets 2022: Bergen, Norway
- Luca Bernardinello, Laure Petrucci:
Application and Theory of Petri Nets and Concurrency - 43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19-24, 2022, Proceedings. Lecture Notes in Computer Science 13288, Springer 2022, ISBN 978-3-031-06652-8
Application of Concurrency to System Design
- Vegard Steinsland, Lars Michael Kristensen, Shujun Zhang:
Towards the Application of Coloured Petri Nets for Design and Validation of Power Electronics Converter Systems. 3-22 - Abel Armas-Cervantes
, Farbod Taymouri
Discovering Unseen Behaviour from Event Logs. 23-42 - Clément Bertrand, Hanna Klaudel, Frédéric Peschanski:
Layered Memory Automata: Recognizers for Quasi-Regular Languages with Unbounded Memory. 43-63
Timed Models
- Loïc Hélouët, Pranay Agrawal:
Waiting Nets. 67-89 - Xavier Allamigeon, Marin Boyet, Stéphane Gaubert:
Computing Transience Bounds of Emergency Call Centers: A Hierarchical Timed Petri Net Approach. 90-112
Tools
- Nicolas Amat, Louis Chauvet:
Kong: A Tool to Squash Concurrent Places. 115-126 - Fernando Pereira
IOPT-Tools - From Executable Models to Automatic Code Generation for Embedded Controllers Development. 127-138 - Jan Niklas Adams
OCπ: Object-Centric Process Insights. 139-150
Applications
- Rafal Graczyk
From Graphs to the Science Computer of a Space Telescope - The Power of Petri Nets in Systems Engineering. 153-174 - Franck Pommereau
Petri Nets Semantics of Reaction Rules (RR) - A Language for Ecosystems Modelling. 175-194 - Maxim Storetvedt, Latchezar Betev, Nikola Hardi, Håvard Helstrup, Kristin Fanebust Hetland, Bjarte Kileng:
Modelling the Next Generation ALICE Grid Middleware Using Coloured Petri Nets. 195-210
Synthesis
- Raymond R. Devillers, Ronny Tredup:
Synthesis of Inhibitor-Reset Petri Nets: Algorithmic and Complexity Issues. 213-235 - Paul Hannibal, Ernst-Rüdiger Olderog:
The Synthesis Problem for Repeatedly Communicating Petri Games. 236-257
Petri Nets Architecture
- Victor Khomenko
Avoiding Exponential Explosion in Petri Net Models of Control Flows. 261-277 - Elvio G. Amparore
The Ins and Outs of Petri Net Composition. 278-299
Process Mining
- Lisa Luise Mannel, Wil M. P. van der Aalst
Discovering Process Models with Long-Term Dependencies While Providing Guarantees and Handling Infrequent Behavior. 303-324 - Dominique Sommers
Aligning Event Logs to Resource-Constrained ν-Petri Nets. 325-345 - Viki Peeva, Lisa Luise Mannel, Wil M. P. van der Aalst
From Place Nets to Local Process Models. 346-368 - Jan Martijn E. M. van der Werf
Data and Process Resonance - Identifier Soundness for Models of Information Systems. 369-392
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-02-07 23:59 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: