For the most recent entries see the Petri Nets Newsletter.

Romeo: A Tool for Analyzing Time Petri Nets.

Gardey, Guillaume; Lime, Didier; Magnin, Morgan; Roux, Olivier (H.)

In: Lecture Notes in Computer Science, Vol. 3576, pages 418-423. 2005.

Abstract: 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.

Keywords: Time Petri nets; model-checking; state-space; DBM; polyhedron;scheduling; stopwatch.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography