Using Petri Net Invariants in State Space Construction
No abstract available.
Related papers
- State Class Constructions for Branching Analysis of Time Petri Nets TACAS 2003
- Design/CPN - A Computer Tool for Coloured Petri Nets TACAS 1997
- A Web Interface for Petri Nets with Transits and Petri Games TACAS 2021
- Applying CEGAR to the Petri Net State Equation TACAS 2011
- Token Elimination in Model Checking of Petri Nets TACAS 2025
- Incremental, Inductive Coverability CAV 2013
- Formalization of Karp-Miller tree construction on petri nets CPP 2017
- KReach: A Tool for Reachability in Petri Nets TACAS 2020