PAPETRI: Environment for the Analysis of Petri Nets
Abstract elided by the publisher.
Related papers
- TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets TACAS 2012
- Efficient Timing Analysis of a Class of Petri Nets CAV 1995
- State Class Constructions for Branching Analysis of Time Petri Nets TACAS 2003
- Realtion-Algebraic Analysis of Petri Nets with RELVIEW TACAS 1996
- Design/CPN - A Computer Tool for Coloured Petri Nets TACAS 1997
- Synthesis and Analysis of Petri Nets from Causal Specifications CAV 2022
- Formalization of Karp-Miller tree construction on petri nets CPP 2017
- Directed Reachability for Infinite-State Systems TACAS 2021