Authors
Guillaume Gardey, Didier Lime, Morgan Magnin, Olivier (H ) Roux
Publication date
2005
Conference
Computer Aided Verification: 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings 17
Pages
418-423
Publisher
Springer Berlin Heidelberg
Description
In this paper, we present the features of Romeo, a Time Petri Net (TPN) analyzer. The tool Romeo allows state space computation of TPN and on-the-fly model-checking of reachability properties. It performs translations from TPNs to Timed Automata (TAs) that preserve the behavioural semantics (timed bisimilarity) of the TPNs. Besides, our tool also deals with an extension of Time Petri Nets (Scheduling-TPNs) for which the valuations of transitions may be stopped and resumed, thus allowing the modeling preemption.
Total citations
2005200620072008200920102011201220132014201520162017201820192020202120222023202449111219121628221311127151353672
Scholar articles
G Gardey, D Lime, M Magnin, OH Roux - … Aided Verification: 17th International Conference, CAV …, 2005