PETRI NET BASED MODELS FOR THE SPECIFICATION AND VALIDATION OF PROTOCOLS

被引：0
|
作者：
DIAZ, M
AZEMA, P
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1985年 / 188卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：101 / 121
页数：21
相关论文
共 50 条
  • [1] PETRI NET BASED MODELS - IN THE SPECIFICATION AND VERIFICATION OF PROTOCOLS
    DIAZ, M
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1987, 255 : 135 - 170
  • [2] Petri net based models for specification and analysis of cryptographic protocols
    Lee, GS
    Lee, JS
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 1997, 37 (02) : 141 - 159
  • [3] VALIDATION OF PETRI NET MODELS BY PETRI-NET-MACHINE
    STARKE, PH
    [J]. SYSTEMS ANALYSIS MODELLING SIMULATION, 1988, 5 (03): : 253 - 261
  • [4] MODELING AND ANALYSIS OF COMMUNICATION AND COOPERATION PROTOCOLS USING PETRI NET BASED MODELS
    DIAZ, M
    [J]. COMPUTER NETWORKS AND ISDN SYSTEMS, 1982, 6 (06): : 419 - 441
  • [5] Decomposition, validation and documentation of control process specification in form of a Petri net
    Grobelna, Iwona
    Wisniewska, Monika
    Wisniewski, Remigiusz
    Grobelny, Michal
    Mroz, Piotr
    [J]. 2014 7TH INTERNATIONAL CONFERENCE ON HUMAN SYSTEM INTERACTIONS (HSI), 2014, : 232 - 237
  • [6] PROTEAN - A HIGH-LEVEL PETRI NET TOOL FOR THE SPECIFICATION AND VERIFICATION OF COMMUNICATION PROTOCOLS
    BILLINGTON, J
    WHEELER, GR
    WILBURHAM, MC
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1988, 14 (03) : 301 - 316
  • [7] SPECIFICATION AND VALIDATION OF PROTOCOLS
    MERLIN, PM
    [J]. IEEE TRANSACTIONS ON COMMUNICATIONS, 1979, 27 (11) : 1671 - 1680
  • [8] RECURSIVE DEFINITION OF PROTOCOLS BASED ON PETRI NET THEORY
    ANISIMOV, NA
    [J]. AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA, 1987, (05): : 3 - 7
  • [9] Specification, safety and reliability analysis using stochastic petri net models
    Sheldon, FT
    Greiner, S
    Benzinger, M
    [J]. TENTH INTERNATIONAL WORKSHOP ON SOFTWARE SPECIFICATION AND DESIGN, 2000, : 123 - 132
  • [10] Petri net based test case generation for evolved specification
    Zuohua Ding
    Mingyue Jiang
    Haibo Chen
    Zhi Jin
    Mengchu Zhou
    [J]. Science China Information Sciences, 2016, 59
12345