| Layered Memory Automata: Recognizers for Quasi-Regular Languages with Unbounded Memory
|
2022 |
Bertrand, Clement |
| Discovering Unseen Behaviour from Event Logs
|
2022 |
Cervantes, Abel Armas |
| Waiting Nets
|
2022 |
Hélouët, Loïc |
| Kong: A Tool to Squash Concurrent Places
|
2022 |
Amat, Nicolas |
| Synthesis of Inhibitor-Reset Petri Nets: Algorithmic and Complexity Issues
|
2022 |
Devillers, Raymond |
| Aligning Event Logs to Resource-Constrained v-Petri Nets
|
2022 |
Sommers, Dominique |
| From Place Nets to Local Process Models
|
2022 |
Peeva, Viki |
| OC𝝅: Object-Centric Process Insights
|
2022 |
Adams, Jan Niklas |
| From Graphs to the Science Computer of a Space Telescope: The Power of Petri Nets in Systems Engineering
|
2022 |
Graczyk, Rafal |
| Petri Nets Semantics of Reaction Rules (RR): A Language for Ecosystems Modelling
|
2022 |
Pommereau, Franck |
| Modelling the Next Generation ALICE Grid Middleware Using Coloured Petri Nets
|
2022 |
Storetvedt, Maxim |
| Discovering Process Models with Long-Term Dependencies While Providing Guarantees HandlingInfrequent Behavior
|
2022 |
Mannel, Lisa L. |
| Towards the Application of Coloured Petri Nets for Design and Validation of Power Electronics Converter Systems
|
2022 |
Steinsland, Vegard |
| Computing Transience Bounds of Emergency Call Centers: A Hierarchical Timed Petri Net Approach
|
2022 |
Allamigeon, Xavier |
| IOPT- Tools — From Executable Models to Automatic Code Generation for Embedded Controllers Development
|
2022 |
Péreira, Fernando |
| The Synthesis Problem for Repeatedly Communicating Petri Games
|
2022 |
Hannibal, Paul |
| The Ins and Outs of Petri Net Composition
|
2022 |
Amparore, Elvio G. |
| Avoiding Exponential Explosion in Petri Net Models of Control Flows
|
2022 |
Khomenko, Victor |
| Data and Process Resonance: Identifier Soundness for Models of Information Systems
|
2022 |
Werf, Jan Martijn E. M. van der |
Tag hinzufügen