| 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 |
| 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 |
| Cost and Quality in Crowdsourcing Workflows
|
2021 |
Hélouët, Loic |
| Timed Petri Nets with Reset for Pipelined Synchronous Circuit Design
|
2021 |
Parrot, Remi |
| Efficient Algorithms for Three Reachability Problems in Safe Petri Nets
|
2021 |
Bouvier, Pierre |
| Deterministic Concurrent Systems
|
2021 |
Abbes, Samy |
| Cortado— An Interactive Tool for Data-Driven Process Discovery and Modeling
|
2021 |
Schuster, Daniel |
| Topics in Region Theory and Synthesis Problems
|
2021 |
Bernardinello, Luca |
Tag hinzufügen