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 条
  • [41] Modeling and analysis of remote diagnosis using Petri Nets
    Chen Lin
    Wei Shutao
    Xie Xiaowen
    [J]. 2007 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND BIOMIMETICS, VOLS 1-5, 2007, : 2133 - +
  • [42] On modeling a soccer robot system using Petri nets
    Guo, Baowen
    Li, Zhiwu
    Xu, Shuwen
    [J]. 2006 IEEE INTERNATIONAL CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING, VOLS 1 AND 2, 2006, : 460 - +
  • [43] Modeling gene regulatory networks using Petri Nets
    Bordon, Jure
    Moskon, Miha
    Mraz, Miha
    [J]. ELEKTROTEHNISKI VESTNIK-ELECTROCHEMICAL REVIEW, 2012, 79 (04): : 189 - 192
  • [44] Yeast pheromone pathway modeling using Petri nets
    Majumdar, Abhishek
    Scott, Stephen D.
    Deogun, Jitender S.
    Harris, Steven
    [J]. BMC BIOINFORMATICS, 2014, 15 : 1 - 13
  • [45] Modeling traffic signal control using Petri nets
    List, GF
    Cetin, M
    [J]. IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS, 2004, 5 (03) : 177 - 187
  • [46] Modeling online instruction knowledge using Petri nets
    Lin, FH
    [J]. 2001 IEEE PACIFIC RIM CONFERENCE ON COMMUNICATIONS, COMPUTERS AND SIGNAL PROCESSING, VOLS I AND II, CONFERENCE PROCEEDINGS, 2001, : 212 - 215
  • [47] Modeling and analysis using Petri nets for semiconductor fabrication
    Jeng, MD
    Xie, XL
    [J]. 1998 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5, 1998, : 692 - 697
  • [48] Verifying Estelle protocol specifications using Numerical Petri Nets
    Lai, R
    Jirachiefpattana, A
    [J]. COMPUTER SYSTEMS SCIENCE AND ENGINEERING, 1996, 11 (01): : 15 - 33
  • [49] Modelling of a hybrid protocol for a MANET using fuzzy Petri Nets
    Subramanyam, P. V.
    Chauhan, Ashutosh
    Singh, Yaduvir
    [J]. 2006 ANNUAL IEEE INDIA CONFERENCE, 2006, : 498 - 501
  • [50] Greenhouse Modeling Using Continuous Timed Petri Nets
    Tovany, Jose Luis
    Ross-Leon, Roberto
    Ruiz-Leon, Javier
    Ramirez-Trevino, Antonio
    Begovich, Ofelia
    [J]. MATHEMATICAL PROBLEMS IN ENGINEERING, 2013, 2013
12345