Sciweavers

CAV
2005
Springer

Romeo: A Tool for Analyzing Time Petri Nets

14 years 4 months ago
Romeo: A Tool for Analyzing Time Petri Nets
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 (SchedulingTPNs) modeling preemption. Key words: Time Petri nets, model-checking, state-space, DBM, polyhedron, scheduling, stopwatch.
Guillaume Gardey, Didier Lime, Morgan Magnin, Oliv
Added 26 Jun 2010
Updated 26 Jun 2010
Type Conference
Year 2005
Where CAV
Authors Guillaume Gardey, Didier Lime, Morgan Magnin, Olivier H. Roux
Comments (0)