×

Romeo

swMATH ID: 812
Software Authors: Gardey, Guillaume; Lime, Didier; Magnin, Morgan; Roux, Olivier (H.)
Description: 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 (Scheduling-TPNs) for which the valuations of transitions may be stopped and resumed, thus allowing the modeling preemption.
Homepage: http://romeo.rts-software.org/
Keywords: Time Petri nets; model-checking; state-space; DBM; polyhedron; scheduling; stopwatch
Related Software: TINA; Uppaal; Kronos; TAPAAL; CMC; IF-2.0; HyTech; UPPAAL TIGA; PetriNets; NewPolka; Oris; SpaceEx; PEPA; HySAT; PRISM; UPPAAL CORA; Verics; GEZEL; Rabbit; MARTE
Cited in: 26 Publications

Standard Articles

1 Publication describing the Software, including 1 Publication in zbMATH Year
Romeo: A tool for analyzing time Petri nets. Zbl 1081.68618
Gardey, Guillaume; Lime, Didier; Magnin, Morgan; Roux, Olivier H.
2005
all top 5

Cited by 50 Authors

10 Roux, Olivier H.
9 Lime, Didier
5 Srba, Jiří
3 Cassez, Franck
3 Jacobsen, Lasse
3 Jacobsen, Morten
3 Jard, Claude
3 Møller, Mikael Harkjær
2 Bérard, Béatrice
2 Chatain, Thomas
2 Fahrenberg, Uli
2 Gardey, Guillaume
2 Grabiec, Bartosz
2 Haddad, Serge
2 Jørgensen, Kenneth Yrke
2 Larsen, Kim Guldstrand
2 Magnin, Morgan
2 Traonouez, Louis-Marie
1 Abdelli, Abdelkrim
1 Ábrahám, Erika
1 André, Étienne
1 Badache, Nadjib
1 Balaguer, Sandie
1 Benmoussa, Mohamed Mahdi
1 Berthomieu, Bernard
1 Boucheneb, Hanifa
1 Bouyer, Patricia
1 Byg, Joakim
1 Choppy, Christine
1 David, Alexandre
1 de Lara, Juan
1 Garavel, Hubert
1 Haar, Stefan
1 Jensen, Peter Gjøl
1 Klai, Kais
1 Lang, Frédéric
1 Legay, Axel
1 Lepri, Daniela
1 Markey, Nicolas
1 Martinez, Claude
1 Olveczky, Peter Csaba
1 Ouaknine, Joel O.
1 Penczek, Wojciech
1 Półrola, Agata
1 Quaas, Karin
1 Stöcker, Jan
1 Vangheluwe, Hans
1 Vernadat, François B.
1 Worrell, James B.
1 Zbrzezny, Andrzej
all top 5

Cited in 7 Serials

3 Theoretical Computer Science
2 Formal Aspects of Computing
2 Discrete Event Dynamic Systems
1 Real-Time Systems
1 Journal of Logic and Computation
1 Formal Methods in System Design
1 Fundamenta Informaticae

Cited in 4 Fields

24 Computer science (68-XX)
3 Systems theory; control (93-XX)
1 Combinatorics (05-XX)
1 Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Citations by Year