FORMAL MODEL FOR DESIGN AND DESCRIPTION OF PROTOCOLS ON THE BASIS OF PETRI NETS

被引：0
|
作者：
ANISIMOV, NA
机构：
来源：
AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA | 1988年 / 06期
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
引用
收藏
页码：3 / 10
页数：8
相关论文
共 50 条
  • [11] Model of stochastic systems and their connections on the Petri nets basis
    Kachur, Svetlana A.
    2002, Begell House Inc. (34)
  • [12] An Integrated Model to Analyze Cryptographic Protocols with Colored Petri Nets
    Wei, Jin
    Su, Guiping
    Xu, Meng
    11TH IEEE HIGH ASSURANCE SYSTEMS ENGINEERING SYMPOSIUM, PROCEEDINGS, 2008, : 457 - 460
  • [13] Petri Nets as a formal model for representing procedures in a passive DSS
    Mangioni, Elisabetta
    Bordogna, Gloria
    Sterlacchini, Simone
    RENDICONTI ONLINE SOCIETA GEOLOGICA ITALIANA, 2015, 34 : 19 - 22
  • [14] PETRI NETS THEORY FOR THE CORRECTNESS OF PROTOCOLS
    BERTHELOT, G
    TERRAT, R
    IEEE TRANSACTIONS ON COMMUNICATIONS, 1982, 30 (12) : 2497 - 2505
  • [15] COMPOSITIONAL DESIGN AND VERIFICATION OF COMMUNICATION PROTOCOLS, USING LABELED PETRI NETS
    LLORET, JC
    AZEMA, P
    VERNADAT, F
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 531 : 96 - 105
  • [16] Constructing Petri Nets Model for Dynamic Description Logic Actions
    Ma, Bing-xian
    Xu, Ying-lei
    PROCEEDINGS OF THE FIRST INTERNATIONAL WORKSHOP ON EDUCATION TECHNOLOGY AND COMPUTER SCIENCE, VOL III, 2009, : 753 - +
  • [17] Development of the Model of Capacity Type Accelerometer on the Basis of Petri Nets
    Zaharyuk, Roman
    Hrytsay, Serhiy
    Teslyuk, Vasyl
    Farmaha, Ihor
    Kernytskyy, Andriy
    EXPERIENCE OF DESIGNING AND APPLICATION OF CAD SYSTEMS IN MICROELECTRONICS, 2009, : 519 - 520
  • [18] Formal model-driven executable DSLsApplication to Petri-nets
    Akram Idani
    Innovations in Systems and Software Engineering, 2022, 18 : 543 - 566
  • [19] PZ nets -: a formal method integrating Petri nets with Z
    He, XD
    INFORMATION AND SOFTWARE TECHNOLOGY, 2001, 43 (01) : 1 - 18
  • [20] MUSIC DESCRIPTION AND PROCESSING BY PETRI NETS
    HAUS, G
    RODRIGUEZ, A
    LECTURE NOTES IN COMPUTER SCIENCE, 1988, 340 : 175 - 199
12345