Combining Finite Automata, Parallel Programs and SDL Using Petri Nets
No abstract available.
Related papers
- From Time Petri Nets to Timed Automata: An Untimed Approach TACAS 2007
- Modeling Concurrency in Parallel Debugging PPoPP 1990
- Parallel LTL-X Model Checking of High-Level Petri Nets Based on Unfoldings CAV 2004
- Combining Structural and Enumerative Techniques for the Validation of Bounded Petri Nets TACAS 2001
- Synthesis and Analysis of Petri Nets from Causal Specifications CAV 2022
- Incremental, Inductive Coverability CAV 2013
- The Geometry of Causality: Multi-token Geometry of Interaction and Its Causal Unfolding POPL 2023
- Functional Nets ESOP 2000