State Class Constructions for Branching Analysis of Time Petri Nets
No abstract available.
Related papers
- Efficient Timing Analysis of a Class of Petri Nets CAV 1995
- Branching Processes of High-Level Petri Nets TACAS 2003
- Using Petri Net Invariants in State Space Construction TACAS 2003
- Incremental, Inductive Coverability CAV 2013
- Fast Termination and Workflow Nets CAV 2023
- Directed Reachability for Infinite-State Systems TACAS 2021
- KReach: A Tool for Reachability in Petri Nets TACAS 2020
- Petri Net-Based Object-Oriented Modeling of Distributed Systems OOPSLA 1986