Romeo: A Tool for Analyzing Time Petri Nets
Abstract elided by the publisher.
Related papers
- Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches TACAS 2009
- ITPN-PerfBound: A Performance Bound Tool for Interval Time Petri Nets TACAS 2009
- Token Elimination in Model Checking of Petri Nets TACAS 2025
- Synthesis and Analysis of Petri Nets from Causal Specifications CAV 2022
- AlPiNA: An Algebraic Petri Net Analyzer TACAS 2010
- PEP - More than a Petri Net Tool TACAS 1996
- CPN/Tools: A Tool for Editing and Simulating Coloured Petri Nets ETAPS Tool Demonstration Related to TACAS TACAS 2001
- Design/CPN - A Computer Tool for Coloured Petri Nets TACAS 1997