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 条
  • [31] 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
  • [32] 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
  • [33] Diagnosability in Stochastic Petri Net based DES Models
    Biswal, Pradeep Kumar
    Biswas, Santosh
    [J]. 2014 22ND MEDITERRANEAN CONFERENCE ON CONTROL AND AUTOMATION (MED), 2014, : 434 - 439
  • [34] Logical inference of clauses based on Petri net models
    Lin, C
    Chanson, ST
    [J]. INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS, 1998, 13 (09) : 821 - 840
  • [35] Generating a Petri net from a CSP specification: A semantics-based method
    Llorens, M.
    Oliver, J.
    Silva, J.
    Tamarit, S.
    [J]. ADVANCES IN ENGINEERING SOFTWARE, 2012, 50 : 110 - 130
  • [36] Integrated fault diagnosis based on Petri net models
    Manyari-Rivera, Manuel
    Basilio, Joao Carlos
    Bhaya, Amit
    [J]. PROCEEDINGS OF THE 2007 IEEE CONFERENCE ON CONTROL APPLICATIONS, VOLS 1-3, 2007, : 1582 - 1587
  • [37] Fault diagnosis based on Petri net reduced models
    Ruiz-Beltran, E.
    Lopez-Mellado, E.
    Ramirez-Trevino, A.
    [J]. 2006 3RD INTERNATIONAL CONFERENCE ON ELECTRICAL AND ELECTRONICS ENGINEERING, 2006, : 193 - +
  • [38] An Approach to Decomposition of Workflow Models based on Petri Net
    Dai, Xuemei
    Qin, Kai
    Jiang, Hao
    [J]. PROCEEDINGS OF THE 2008 INTERNATIONAL SYMPOSIUM ON COMPUTATIONAL INTELLIGENCE AND DESIGN, VOL 1, 2008, : 503 - 506
  • [39] XTP - EFFICIENT PARALLEL SOFTWARE IMPLEMENTATION BASED ON A PETRI NET SPECIFICATION TECHNIQUE
    HEINRICHS, B
    RUPPRECHT, M
    [J]. IFIP TRANSACTIONS C-COMMUNICATION SYSTEMS, 1992, 4 : 373 - 384
  • [40] Automatic derivation of Petri net based distributed specification with optimal allocation of resources
    El-Fakih, K
    Yamaguchi, H
    Von Bochmann, G
    Higashino, T
    [J]. FIFTEENTH IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 2000, : 305 - 308
12345