From Time Petri Nets to Timed Automata: An Untimed Approach
Abstract elided by the publisher.
Related papers
- Combining Finite Automata, Parallel Programs and SDL Using Petri Nets TACAS 1998
- Start Pruning When Time Gets Urgent: Partial Order Reduction for Timed Systems CAV 2018
- Efficient Timing Analysis of a Class of Petri Nets CAV 1995
- State Class Constructions for Branching Analysis of Time Petri Nets TACAS 2003
- Romeo: A Tool for Analyzing Time Petri Nets CAV 2005
- ITPN-PerfBound: A Performance Bound Tool for Interval Time Petri Nets TACAS 2009
- TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets TACAS 2012
- Synthesis and Analysis of Petri Nets from Causal Specifications CAV 2022