Efficient Timing Analysis of a Class of Petri Nets
Abstract elided by the publisher.
Related papers
- State Class Constructions for Branching Analysis of Time Petri Nets TACAS 2003
- AlPiNA: An Algebraic Petri Net Analyzer TACAS 2010
- Incremental, Inductive Coverability CAV 2013
- Directed Reachability for Infinite-State Systems TACAS 2021
- Fast Termination and Workflow Nets CAV 2023
- A Description of Path Expressions by Petri Nets POPL 1975
- PAPETRI: Environment for the Analysis of Petri Nets CAV 1990
- Realtion-Algebraic Analysis of Petri Nets with RELVIEW TACAS 1996