VERIFICATION OF SPECIFICATIONS WRITTEN IN THE ESTELLE LANGUAGE USING PETRI NETS

被引：0
|
作者：
DIMITROV, V
PETKOV, A
机构：
来源：
AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA | 1989年 / 05期
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
引用
收藏
页码：23 / 27
页数：5
相关论文
共 50 条
  • [1] Verifying Estelle protocol specifications using Numerical Petri Nets
    Lai, R
    Jirachiefpattana, A
    [J]. COMPUTER SYSTEMS SCIENCE AND ENGINEERING, 1996, 11 (01): : 15 - 33
  • [2] 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
    [J]. JOURNAL OF COMPUTER AND SYSTEMS SCIENCES INTERNATIONAL, 1999, 38 (05) : 771 - 781
  • [3] Verification of Estelle-specified communication protocols using high-level Petri nets
    Nepomniaschy, VA
    Alekseev, GI
    Bystrov, AV
    Myl'nikov, SP
    Okunishnikova, EV
    Chubarev, PA
    Churina, TG
    [J]. PROGRAMMING AND COMPUTER SOFTWARE, 2001, 27 (02) : 58 - 68
  • [4] 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
    [J]. Programming and Computer Software, 2001, 27 : 58 - 68
  • [5] Verification of Language-Based Opacity in Petri Nets Using Verifier
    Tong, Yin
    Ma, Ziyue
    Li, Zhiwu
    Seatzu, Carla
    Giua, Alessandro
    [J]. 2016 AMERICAN CONTROL CONFERENCE (ACC), 2016, : 757 - 763
  • [6] PETRI NETS AND ALGEBRAIC SPECIFICATIONS
    REISIG, W
    [J]. THEORETICAL COMPUTER SCIENCE, 1991, 80 (01) : 1 - 34
  • [7] TRANSFORMATIONAL IMPLEMENTATION OF PAISLEY SPECIFICATIONS USING PETRI NETS
    SACHA, KM
    [J]. SOFTWARE ENGINEERING JOURNAL, 1992, 7 (03): : 191 - 204
  • [8] Semantic verification and satisfiability verification of MSC specifications by means of Petri nets in telecommunication software testing
    Kato, N
    Shigeta, Y
    Tanaka, W
    Hasegawa, H
    [J]. ELECTRONICS AND COMMUNICATIONS IN JAPAN PART III-FUNDAMENTAL ELECTRONIC SCIENCE, 1998, 81 (10): : 58 - 72
  • [9] Verifying time-Estelle specification using communicating time Petri nets
    Tsang, T
    Lai, R
    [J]. TWELFTH INTERNATIONAL CONFERENCE ON INFORMATION NETWORKING (ICOIN-12), PROCEEDINGS, 1998, : 678 - 683
  • [10] Rule base verification using Petri nets
    Yang, SJH
    Lee, AS
    Chu, WC
    Yang, HJ
    [J]. TWENTY-SECOND ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE - PROCEEDINGS, 1998, : 476 - 481
12345