COMMUNICATION PROTOCOL VALIDATION BY PETRI NETS

被引：0
|
作者：
BANDMAN, OL
机构：
来源：
AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA | 1986年 / 06期
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
引用
收藏
页码：82 / 91
页数：10
相关论文
共 50 条
  • [1] PROTOCOL MODELING AND VALIDATION USING PETRI NETS
    AYACHE, JM
    COURTIAT, JP
    DIAZ, M
    JUANOLE, G
    [J]. TSI-TECHNIQUE ET SCIENCE INFORMATIQUES, 1985, 4 (01): : 51 - 71
  • [2] Description and Validation of Communication Protocols by Petri Nets.
    Accarino, N.
    Rossi, C.
    Trigila, S.
    [J]. Note, recensioni, notizie, 1981, 30 (02): : 49 - 65
  • [3] Modelization of a communication protocol for CSCW systems using coloured Petri nets
    Garcia, E
    Henriet, J
    Lapayre, JC
    [J]. COOPERATIVE DESIGN, VISUALIZATION, AND ENGINEERING, PROCEEDINGS, 2005, 3675 : 14 - 21
  • [4] Petri nets for protocol engineering
    City Univ of Hong Kong, Hong Kong
    [J]. Comput Commun, 14 (1250-1257):
  • [5] Petri nets for protocol engineering
    Cheung, TY
    [J]. COMPUTER COMMUNICATIONS, 1996, 19 (14) : 1250 - 1257
  • [6] PETRI NETS AS A DESIGN AND VALIDATION TOOL
    AZEMA, P
    BERTHOMIEU, B
    DECIENE, P
    [J]. COMPUTER NETWORKS AND ISDN SYSTEMS, 1981, 5 (01): : 59 - 59
  • [7] Analysis of Security Protocol Based on Petri Nets
    Liu, Fengli
    Han, Wei
    Jiang, Mingyue
    [J]. 2011 AASRI CONFERENCE ON ARTIFICIAL INTELLIGENCE AND INDUSTRY APPLICATION (AASRI-AIIA 2011), VOL 2, 2011, : 48 - 51
  • [8] Use of expanded Petri nets for protocol specification
    Golovin, Yu.A.
    Matveeva, V.A.
    [J]. Automatic Control and Computer Sciences, 1988, 22 (06) : 10 - 16
  • [9] PROTOCOL ANALYSIS USING NUMERICAL PETRI NETS
    WHEELER, GR
    WILBURHAM, MC
    BILLINGTON, J
    GILMOUR, JA
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1986, 222 : 435 - 452
  • [10] Time window specification and validation with Petri nets
    Simon, CD
    Pascal, Y
    [J]. ETFA 2003: IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 1, PROCEEDINGS, 2003, : 232 - 237
12345