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 条
  • [21] A Petri Net Model of Handshake Protocols
    Fossati, Luca
    Varacca, Daniele
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 229 (03) : 59 - 76
  • [22] Specification, design, and implementation of logic controllers based on colored Petri net models and the standard IEC 1131 part I:: Specification and design
    Feldmann, K
    Colombo, AW
    Schnur, C
    Stöckel, T
    [J]. IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY, 1999, 7 (06) : 657 - 665
  • [23] PERFORMANCE ANALYSIS OF TIMED PETRI NET MODELS FOR COMMUNICATION PROTOCOLS - A METHODOLOGY AND A PACKAGE
    ELKARAKSY, MR
    NOUH, AS
    ALOBAIDAN, A
    [J]. COMPUTER COMMUNICATIONS, 1990, 13 (02) : 73 - 82
  • [24] Elimination of duplicate labels in Petri-net-based system specification
    Cheung, KS
    Chow, KO
    [J]. FIFTH INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION TECHNOLOGY - PROCEEDINGS, 2005, : 932 - 936
  • [25] Petri net based model validation in systems biology
    Heiner, M
    Koch, I
    [J]. APPLICATIONS AND THEORY OF PETRI NETS 2004, PROCEEDINGS, 2004, 3099 : 216 - 237
  • [26] Petri net-based specification, analysis and synthesis of logic controllers
    Wegrzyn, A
    Wegrzyn, M
    [J]. PROCEEDINGS OF THE 2000 IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, VOL 1 AND 2, 2000, : 20 - 26
  • [27] USE OF PETRI NET EXPANSIONS FOR PROTOCOL SPECIFICATION
    GOLOVIN, JA
    MATVEJEVA, VA
    [J]. AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA, 1988, (06): : 11 - 17
  • [28] A proposal for structuring Petri net-based agent interaction protocols
    Cabac, L
    Moldt, D
    Rölke, H
    [J]. APPLICATIONS AND THEORY OF PETRI NETS 2003, PROCEEDINGS, 2003, 2679 : 102 - 120
  • [29] Specification of timed authentication protocols with colored Petri nets
    Jakubowska, G
    Srebrny, M
    [J]. ADVANCED COMPUTER SYSTEMS, PROCEEDINGS, 2002, 664 : 383 - 392
  • [30] Identification of Petri net models based on an asymptotic approach
    Meda-Campana, M. E.
    Lopez-Lopez, F. J.
    Lopez-Martin, Cuauhtemoc
    Chavoya, Arturo
    [J]. 2009 9TH INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS DESIGN AND APPLICATIONS, 2009, : 749 - 754
12345