Romeo: A tool for analyzing time Petri nets

Lecture Notes in Computer Science

Volumn 3576, Issue , 2005, Pages 418-423

  Gardey, Guillaume ^a   Lime, Didier ^b   Magnin, Morgan ^a   Roux, Olivier ^a  

^a CNRS   (France)

^b AALBORG UNIVERSITY   (Denmark)

Author keywords

DBM; Model checking; Polyhedron; Scheduling; State space; Stopwatch; Time Petri nets

Indexed keywords

COMPUTATIONAL METHODS; MATHEMATICAL MODELS; SCHEDULING; SEMANTICS; STOP WATCHES;

DBM; MODEL-CHECKING; POLYHEDRON; STATE SPACE; TIME PETRI NETS;

PETRI NETS;

EID: 26444519099     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11513988_41     Document Type: Conference Paper

References (9)

1. Roux, O.H., Déplanche, A.M.: A t-time Petri net extension for real time-task scheduling modeling. European Journal of Automation (JESA) 36 (2002) 973-987
2. Bucci, G., Fedeli, A., Sassoli, L., Vicario, E.: Time state space analysis of real-time preemptive systems. IEEE transactions on software engineering 30 (2004) 97-111
3. Cassez, F., Roux, O.H.: Structural translation from time Petri nets to timed automata. In: Fourth International Workshop on Automated Verification of Critical Systems (AVoCS'04). ENTCS, London (UK), Elsevier (2004)
4. Berthomieu, B., Diaz, M.: Modeling and verification of time dependent systems using time Petri nets. IEEE trans. on software engineering 17 (1991) 259-273
5. Gardey, G., Roux, O., Roux, O.: State space computation and analysis of time Petri nets. Theory and Practice of Logic Programming (TPLP). Special Issue on Specification Analysis and Verification of Reactive Systems (2005) to appear.
6. Lime, D., Roux, O.H.: State class timed automaton of a time Petri net. In: 10th International Workshop on Petri Nets and Performance Models, (PNPM'03). (2003)
7. Lime, D., Roux, O.H.: A translation based method for the timed analysis of scheduling extended time Petri nets. In: The 25th IEEE RTSS'04, Lisbon, Portugal (2004)
8. Berthomieu, B., Ribet, P.O., Vernadat, F.: The tool tina - construction of abstract state spaces for petri nets and time petri nets. International Journal of Production Research 42 (2004) Tool available at http://www.laas.fr/ tina/.
9. Bucci, G., Sassoli, L., Vicario, E.: Oris: A tool for state-space analysis of real-time preemptive systems. Quantitative Evaluation of Systems, First International Conference on (QEST'04) (2004) 70-79