Automatic translation of time Petri Nets into Estelle description

被引：0
|
作者：
机构：
来源：
| 1600年 / Publ by Elsevier Science Publishers B.V., Amsterdam, Neth卷
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [31] Automatic transformation of MSC diagrams into Petri Nets
    Kryvyy, SL
    Matvyeyeva, LE
    Lopatina, MV
    7TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL V, PROCEEDINGS: COMPUTER SCIENCE AND ENGINEERING: I, 2003, : 140 - 145
  • [32] Automatic abstraction refinement for Petri nets verification
    Chen, ZY
    Zhou, CH
    Ding, DC
    HLDVT'05: TENTH ANNUAL IEEE INTERNATIONAL HIGH-LEVEL DESIGN VALIDATION AND TEST WORKSHOP, PROCEEDINGS, 2005, : 168 - 174
  • [33] Petri nets and Automatic Control: A historical perspective
    Giua, Alessandro
    Silva, Manuel
    ANNUAL REVIEWS IN CONTROL, 2018, 45 : 223 - 239
  • [34] AUTOMATIC DESIGN BASED ON THE PETRI NETS PARADIGM
    Latorre-Biel, Juan-Ignacio
    Jimenez-Macias, Emilio
    24TH EUROPEAN MODELING AND SIMULATION SYMPOSIUM (EMSS 2012), 2012, : 446 - 451
  • [35] Transforming Time Petri Nets into Heterogeneous Petri Nets for Hybrid System Monitoring
    Hatte, Leonie
    Ribot, Pauline
    Chanthery, Elodie
    IFAC PAPERSONLINE, 2024, 58 (04): : 646 - 651
  • [36] A concurrency-preserving translation from time Petri nets to networks of timed automata
    Sandie Balaguer
    Thomas Chatain
    Stefan Haar
    Formal Methods in System Design, 2012, 40 : 330 - 355
  • [37] A concurrency-preserving translation from time Petri nets to networks of timed automata
    Balaguer, Sandie
    Chatain, Thomas
    Haar, Stefan
    FORMAL METHODS IN SYSTEM DESIGN, 2012, 40 (03) : 330 - 355
  • [38] Description of membrane systems with time Petri nets: promoters/inhibitors, membrane dissolution, and priorities
    Péter Battyányi
    György Vaszil
    Journal of Membrane Computing, 2020, 2 : 341 - 354
  • [39] Description of membrane systems with time Petri nets: promoters/inhibitors, membrane dissolution, and priorities
    Battyanyi, Peter
    Vaszil, Gyoergy
    JOURNAL OF MEMBRANE COMPUTING, 2020, 2 (04) : 341 - 354
  • [40] Verification of Estelle-Specified Communication Protocols Using High-Level Petri Nets
    V. A. Nepomniaschy
    G. I. Alekseev
    A. V. Bystrov
    S. P. Myl'nikov
    E. V. Okunishnikova
    P. A. Chubarev
    T. G. Churina
    Programming and Computer Software, 2001, 27 : 58 - 68
12345