| 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 |
| 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 |
| 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 |
Tag hinzufügen