Automatic translation of time Petri Nets into Estelle description

被引：0
|
作者：
机构：
来源：
| 1600年 / Publ by Elsevier Science Publishers B.V., Amsterdam, Neth卷
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Verifying time-Estelle specification using communicating time Petri nets
    Tsang, T
    Lai, R
    TWELFTH INTERNATIONAL CONFERENCE ON INFORMATION NETWORKING (ICOIN-12), PROCEEDINGS, 1998, : 678 - 683
  • [2] Verifying Estelle protocol specifications using Numerical Petri Nets
    Lai, R
    Jirachiefpattana, A
    COMPUTER SYSTEMS SCIENCE AND ENGINEERING, 1996, 11 (01): : 15 - 33
  • [3] VERIFICATION OF SPECIFICATIONS WRITTEN IN THE ESTELLE LANGUAGE USING PETRI NETS
    DIMITROV, V
    PETKOV, A
    AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA, 1989, (05): : 23 - 27
  • [4] Structural Translation from Time Petri Nets to Timed Automata
    Cassez, Franck
    Roux, Olivier-H.
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 128 (06) : 145 - 160
  • [5] Structural translation from Time Petri Nets to Timed Automata
    Cassez, Franck
    Roux, Olivier H.
    JOURNAL OF SYSTEMS AND SOFTWARE, 2006, 79 (10) : 1456 - 1468
  • [6] Formal Translation from Reversing Petri Nets to Coloured Petri Nets
    Barylska, Kamila
    Gogolinska, Anna
    Mikulski, Lukasz
    Philippou, Anna
    Piatkowski, Marcin
    Psara, Kyriaki
    REVERSIBLE COMPUTATION, 2022, : 172 - 186
  • [7] Application of Petri nets in verification of distributed systems represented in the Estelle language
    Alekseev, AG
    Bystrov, AV
    Kurtov, SA
    Myl'nikov, SP
    Nepomnyashchy, VA
    Okunishnikova, EV
    Chubarev, PA
    Churina, TG
    JOURNAL OF COMPUTER AND SYSTEMS SCIENCES INTERNATIONAL, 1999, 38 (05) : 771 - 781
  • [8] Enhancing the Time Petri Nets for Automatic Hybrid Control Synthesis
    Letia, Tiberiu S.
    Kilyen, Ors
    2014 18TH INTERNATIONAL CONFERENCE SYSTEM THEORY, CONTROL AND COMPUTING (ICSTCC), 2014, : 621 - 626
  • [9] A Linguistic Extension of Petri Nets for the Description of Systems: An Application to Time Series
    Moreno-Garcia, Juan
    Rodriguez-Benitez, Luis
    Jimenez-Linares, Luis
    Trivino, Gracian
    IEEE TRANSACTIONS ON FUZZY SYSTEMS, 2019, 27 (09) : 1818 - 1832
  • [10] MUSIC DESCRIPTION AND PROCESSING BY PETRI NETS
    HAUS, G
    RODRIGUEZ, A
    LECTURE NOTES IN COMPUTER SCIENCE, 1988, 340 : 175 - 199
12345