Romeo: A tool for analyzing Time Petri Nets

被引：0
|
作者：
Gardey, G [1 ]
Lime, D
Magnin, M
Roux, OH
机构：
[1] CNRS, UMR 6597, IRCCyN, F-6597 Nantes, France
[2] Aalborg Univ, CISS, Aalborg, Denmark
来源：
COMPUTER AIDED VERIFICATION, PROCEEDINGS | 2005年 / 3576卷
关键词：
Time Petri nets; model-checking; state-space; DBM; polyhedron; scheduling; stopwatch;
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
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.
引用
收藏
页码：418 / 423
页数：6
相关论文
共 50 条
  • [1] An automated tool for analyzing Petri nets using Spin
    Gannod, GC
    Gupta, S
    [J]. 16TH ANNUAL INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2001), PROCEEDINGS, 2001, : 404 - 407
  • [2] IdentifyTPN: a tool for the identification of Time Petri nets
    Basile, F.
    Chiacchio, P.
    Coppola, J.
    [J]. IFAC PAPERSONLINE, 2017, 50 (01): : 5843 - 5848
  • [3] ANALYZING SAFETY AND FAULT TOLERANCE USING TIME PETRI NETS
    LEVESON, NG
    STOLZY, JL
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1985, 186 : 339 - 355
  • [4] The tool TINA - Construction of abstract state spaces for Petri nets and Time Petri
    Berthomieu, B
    Ribet, PO
    Vernadat, F
    [J]. INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, 2004, 42 (14) : 2741 - 2756
  • [5] Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches
    Lime, Didier
    Roux, Olivier H.
    Seidner, Charlotte
    Traonouez, Louis-Marie
    [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2009, 5505 : 54 - 57
  • [6] Petri Nets with Time Windows: A Comparison to Classical Petri Nets
    Wegener, Jan-Thierry
    Popova-Zeugmann, Louchka
    [J]. FUNDAMENTA INFORMATICAE, 2009, 93 (1-3) : 337 - 352
  • [7] Specifying and Analyzing Strategies using Petri Nets
    Passier, Harrie
    [J]. 7TH EUROPEAN CONFERENCE ON E-LEARNING, VOL 2, 2008, : 270 - 280
  • [8] Analyzing realizability of choreographies using Petri nets
    Huang, Bi
    Dai, Fei
    Wang, Yabo
    Mo, Qi
    Cao, Yong
    Wang, Leiguang
    [J]. Jisuanji Jicheng Zhizao Xitong/Computer Integrated Manufacturing Systems, CIMS, 2020, 26 (06): : 1548 - 1556
  • [9] Analyzing dynamic voting using Petri nets
    Chen, IR
    Wang, DC
    [J]. 15TH SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, PROCEEDINGS, 1996, : 44 - 53
  • [10] On analyzing the vulnerabilities of a railway network with Petri nets
    Di Febbraro, Angela
    Giglio, Davide
    Sacco, Nicola
    [J]. 20TH EURO WORKING GROUP ON TRANSPORTATION MEETING, EWGT 2017, 2017, 27 : 553 - 560
12345