| Flat Petri Nets (Invited Talk)
|
2021 |
Leroux, Jérôme |
| On the Combination of Polyhedral Abstraction and SMT-Based Model Checking for Petri Nets
|
2021 |
Amat, Nicolas |
| Computing Parameterized Invariants of Parameterized Petri Nets
|
2021 |
Esparza, Javier |
| Skeleton Abstraction for Universal Temporal Properties
|
2021 |
Wallner, Sophie |
| A Lazy Query Scheme for Reachability Analysis in Petri Nets
|
2021 |
Jezequel, Loig |
| Firıng Partial Orders in a Petri Net
|
2021 |
Bergenthum, Robin |
| PROVED: A Tool for Graph Representation and Analysıs of Uncertain Event Data
|
2021 |
Pegoraro, Marco |
| A Turn-Based Approach for Qualitative Time Concurrent Games
|
2021 |
Haddad, Serge |
| Automatic Synthesis of Transiently Correct Network Updates via Petri Games
|
2021 |
Didriksen, Martin |
| Model Checking of Synchronized Domamm-Specific Multi-formalism Models Using High-Level Petri Nets
|
2021 |
Haustermann, Michael |
| Reduction Using Induced Subnets to Systematically Prove Properties for Free-Choice Nets
|
2021 |
Aalst, Wil M. P. van der |
| Discovering Stochastic Process Models by Reduction and Abstraction
|
2021 |
Burke, Adam |
| Synthesis of Petri Nets with Restricted Place-Environments: Classical and Parameterized
|
2021 |
Tredup, Ronny |
| Abstraction-Based Incremental Inductive Coverability for Petri Nets
|
2021 |
Kang, Jiawen |
| Topics in Region Theory and Synthesis Problems
|
2021 |
Bernardinello, Luca |
| Canonical Representations for Direct Generation of Strategies in High-Level Petri Games
|
2021 |
Gieseking, Manuel |
| Edge, Event and State Removal: The Complexity of Some Basic Techniques that Make Transition Systems Petri Net Implementable
|
2021 |
Tredup, Ronny |
| Synthesis of (Choice-Free) Reset Nets
|
2021 |
Devillers, Raymond |
| Deciphering the Co-Car Anomaly of Circular Traffic Queues Using Petri Nets
|
2021 |
Valk, Rüdiger |
| Cost and Quality in Crowdsourcing Workflows
|
2021 |
Hélouët, Loic |
Tag hinzufügen