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 条
  • [31] THE COMMUNICATION PROTOCOL BETWEEN CNC AND HOST COMPUTER IN FMS AND ITS MODELING USING PETRI NETS
    DOU, XM
    PENG, YW
    [J]. IFIP TRANSACTIONS B-APPLICATIONS IN TECHNOLOGY, 1992, 1 : 215 - 221
  • [32] A PROTOCOL MODELING AND VERIFICATION APPROACH BASED ON A SPECIFICATION LANGUAGE AND PETRI NETS
    SUZUKI, T
    SHATZ, SM
    MURATA, T
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1990, 16 (05) : 523 - 536
  • [33] Modeling, validation and realization of MMS inner module based on Petri nets
    Li Zheng
    Zhu Yongli
    Qin Jinlei
    [J]. 2009 INTERNATIONAL FORUM ON INFORMATION TECHNOLOGY AND APPLICATIONS, VOL 2, PROCEEDINGS, 2009, : 19 - +
  • [34] Modeling Software Contention Using Colored Petri Nets
    Roy, Nilabja
    Dabholkar, Akshay
    Hamm, Nathan
    Dowdy, Larry
    Schmidt, Douglas
    [J]. 2008 IEEE INTERNATIONAL SYMPOSIUM ON MODELING, ANALYSIS & SIMULATION OF COMPUTER AND TELECOMMUNICATION SYSTEMS (MASCOTS), 2008, : 243 - 250
  • [35] Software performance modeling using UML and Petri nets
    Merseguer, J
    Campos, J
    [J]. PERFORMANCE TOOLS AND APPLICATIONS TO NETWORKED SYSTEMS, 2004, 2965 : 265 - 289
  • [36] Modeling and Analysis of Workflow Integration Using Petri Nets
    Yamaguchi, Shingo
    Watanabe, Yuki
    Tanaka, Minoru
    [J]. INFORMATION-AN INTERNATIONAL INTERDISCIPLINARY JOURNAL, 2010, 13 (03): : 673 - 680
  • [37] The Methodology for Modeling Queuing Systems using Petri Nets
    Kotyrba, Martin
    Gaj, Jakub
    Tvaruzka, Matous
    [J]. PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON NUMERICAL ANALYSIS AND APPLIED MATHEMATICS 2016 (ICNAAM-2016), 2017, 1863
  • [38] Flexible Negotiation Modeling by Using Colored Petri Nets
    Bai, Quan
    Zhang, Minjie
    Sim, Kwang Mong
    [J]. JOURNAL OF INFORMATION TECHNOLOGY RESEARCH, 2009, 2 (03) : 1 - 16
  • [39] Poster: Modeling Congestion Control using Petri Nets
    Duran, Guillem
    Amigo, Jose M.
    Gimenez, Angel
    Valero, Jose
    Bonastre, Oscar Martinez
    [J]. 2021 27TH IEEE INTERNATIONAL SYMPOSIUM ON LOCAL AND METROPOLITAN AREA NETWORKS (LANMAN), 2021,
  • [40] Yeast pheromone pathway modeling using Petri nets
    Abhishek Majumdar
    Stephen D Scott
    Jitender S Deogun
    Steven Harris
    [J]. BMC Bioinformatics, 15
12345