PETRI NET BASED MODELS - IN THE SPECIFICATION AND VERIFICATION OF PROTOCOLS

被引：0
|
作者：
DIAZ, M
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1987年 / 255卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：135 / 170
页数：36
相关论文
共 50 条
  • [1] PETRI NET BASED MODELS FOR THE SPECIFICATION AND VALIDATION OF PROTOCOLS
    DIAZ, M
    AZEMA, P
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1985, 188 : 101 - 121
  • [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] 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
  • [4] Verification of Petri net models based on transition vectors
    Ahmad, Farooq
    Huang, He-Jiao
    Wang, Xiao-Long
    [J]. PROCEEDINGS OF 2008 INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND CYBERNETICS, VOLS 1-7, 2008, : 1542 - 1547
  • [5] SPECIFICATION AND VERIFICATION OF CACHE COHERENCE PROTOCOLS USING PETRI NETS
    AHMAD, I
    SALEH, K
    [J]. INTERNATIONAL JOURNAL OF ELECTRONICS, 1995, 78 (05) : 841 - 854
  • [6] Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System
    Moutinho, Filipe
    Gomes, Luis
    Barbosa, Paulo
    Barros, Joao Paulo
    Ramalho, Franklin
    Figueiredo, Jorge
    Costa, Aniko
    Monteiro, Andre
    [J]. TECHNOLOGICAL INNOVATION FOR SUSTAINABILITY, 2011, 349 : 237 - +
  • [7] Flood Analysis and Prediction Support based on UML and Mobile Petri Net Specification and Verification
    Khan, Sher Afzal
    Iqbal, Rao Sohail
    Zafar, Nazir Ahmad
    Ahmad, Farooq
    [J]. WORLD CONGRESS ON ENGINEERING AND COMPUTER SCIENCE, WCECS 2012, VOL I, 2012, : 84 - 88
  • [8] 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
  • [9] Petri Net Verification Techniques on Synchronous Dataflow Models
    Rochat, Jose-Inacio
    Gomes, Luis
    Dias, Octavio Pascoa
    [J]. IECON 2011: 37TH ANNUAL CONFERENCE ON IEEE INDUSTRIAL ELECTRONICS SOCIETY, 2011, : 3792 - 3797
  • [10] On the Verification of Non-autonomous Petri Net Models Using Autonomous Petri Net Tools
    Barros, Joao Paulo
    Gomes, Luis
    Costa, Aniko
    [J]. 38TH ANNUAL CONFERENCE ON IEEE INDUSTRIAL ELECTRONICS SOCIETY (IECON 2012), 2012, : 6138 - 6143
12345