PROTOCOL MODELING AND VALIDATION USING PETRI NETS

被引：0
|
作者：
AYACHE, JM [1 ]
COURTIAT, JP [1 ]
DIAZ, M [1 ]
JUANOLE, G [1 ]
机构：
[1] CNRS, AUTOMAT & ANAL SYST LAB, F-31077 TOULOUSE, FRANCE
来源：
TSI-TECHNIQUE ET SCIENCE INFORMATIQUES | 1985年 / 4卷 / 01期
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：51 / 71
页数：21
相关论文
共 50 条
  • [1] COMMUNICATION PROTOCOL VALIDATION BY PETRI NETS
    BANDMAN, OL
    [J]. AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA, 1986, (06): : 82 - 91
  • [2] Modeling and Verification of a Protocol for Operational Support Using Coloured Petri Nets
    Westergaard, Michael
    Maggi, Fabrizio M.
    [J]. APPLICATIONS AND THEORY OF PETRI NETS, 2011, 6709 : 169 - 188
  • [3] Modeling the UPnP-UP Protocol using Coloured Petri Nets
    Rached, Taciana
    Gorgonio, Kyller
    Perkusich, Angelo
    Almeida, Hyggo
    [J]. 2009 INTERNATIONAL CONFERENCE ON SOFTWARE, TELECOMMUNICATIONS AND COMPUTER NETWORKS, 2009, : 307 - 311
  • [4] Modular modeling using Petri nets
    Wang, LM
    Xie, XL
    [J]. IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 1996, 12 (05): : 800 - 809
  • [5] Modeling Petri Nets Using Alloy
    Robles, Jonathan A.
    Solano, Geoffrey A.
    [J]. TENCON 2012 - 2012 IEEE REGION 10 CONFERENCE: SUSTAINABLE DEVELOPMENT THROUGH HUMANITARIAN TECHNOLOGY, 2012,
  • [6] PROTOCOL ANALYSIS USING NUMERICAL PETRI NETS
    WHEELER, GR
    WILBURHAM, MC
    BILLINGTON, J
    GILMOUR, JA
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1986, 222 : 435 - 452
  • [7] Validation of information systems using Petri nets
    Bokhari, Asghar
    Poehlman, Skip
    [J]. ICEIS 2006: PROCEEDINGS OF THE EIGHTH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS: INFORMATION SYSTEMS ANALYSIS AND SPECIFICATION, 2006, : 284 - +
  • [8] Formal modeling and analysis of security schemes of RPL protocol using colored Petri nets
    Ahmad, Farooq
    Chaudhry, Muhammad Tayyab
    Jamal, Muhammad Hasan
    Sohail, Muhammad Amar
    Gavilanes, Daniel
    Masias Vergara, Manuel
    Ashraf, Imran
    [J]. PLOS ONE, 2023, 18 (08):
  • [9] Analytical modeling of Transmission Control Protocol NewReno using Generalized Stochastic Petri Nets
    Vinayak, Resham
    Krishnaswamy, Dilip
    Dharmaraja, Selvamuthu
    [J]. INTERNATIONAL JOURNAL OF COMMUNICATION SYSTEMS, 2014, 27 (12) : 4185 - 4198
  • [10] Modeling Temporal Aspects of Contract Net Protocol Using Timed Colored Petri Nets
    Boukredera, Djamila
    Aknine, Samir
    Maamri, Ramdane
    [J]. PROCEEDINGS OF THE SIXTH STARTING AI RESEARCHERS' SYMPOSIUM (STAIRS 2012), 2012, 241 : 83 - +
12345