FORMAL MODEL FOR DESIGN AND DESCRIPTION OF PROTOCOLS ON THE BASIS OF PETRI NETS

被引：0
|
作者：
ANISIMOV, NA
机构：
来源：
AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA | 1988年 / 06期
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
引用
收藏
页码：3 / 10
页数：8
相关论文
共 50 条
  • [41] Modelling multithreaded social protocols with coloured Petri nets
    Picard, Willy
    PERVASIVE COLLABORATIVE NETWORKS, 2008, 283 : 343 - 350
  • [42] THE VERIFICATION OF COMMUNICATION PROTOCOLS USING NUMERICAL PETRI NETS
    SYMONS, FJW
    AUSTRALIAN TELECOMMUNICATION RESEARCH, 1980, 14 (01): : 34 - 38
  • [43] Fast Validation of DRAM Protocols with Timed Petri Nets
    Jung, Matthias
    Kraft, Kira
    Soliman, Taha
    Sudarshan, Chirag
    Weis, Christian
    Wehn, Norbert
    MEMSYS 2019: PROCEEDINGS OF THE INTERNATIONAL SYMPOSIUM ON MEMORY SYSTEMS, 2019, : 133 - 146
  • [44] Deriving unbounded Petri nets from formal languages
    Darondeau, P
    CONCUR'98: CONCURRENCY THEORY, 1998, 1466 : 533 - 548
  • [45] Engineering deontic protocols by means of organizational Petri nets
    Combettes, Stephanie
    Hanachi, Chihab
    Sibertin-Blanc, Christophe
    ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE, 2009, 22 (08) : 1256 - 1269
  • [46] A formal approach for the modelling and verification of multiagent plans based on model checking and Petri nets
    de Almeida, HO
    da Silva, LD
    Perkusich, A
    Casto, ED
    SOFTWARE ENGINEERING FOR MULTI-AGENT SYSTEMS III: RESEARCH ISSUES AND PRACTICAL APPLICATIONS, 2004, 3390 : 162 - 179
  • [47] Interaction Protocols in Multi-Agent Systems based on Agent Petri Nets Model
    Marzougui, Borhen
    Barkaoui, Kamel
    INTERNATIONAL JOURNAL OF ADVANCED COMPUTER SCIENCE AND APPLICATIONS, 2013, 4 (07) : 166 - 173
  • [48] A General Model Checking Method of Electronic Transaction Protocols Using Colored Petri Nets
    Xu, Meng
    Su, Guiping
    Wei, Jin
    HIS 2009: 2009 NINTH INTERNATIONAL CONFERENCE ON HYBRID INTELLIGENT SYSTEMS, VOL 2, PROCEEDINGS, 2009, : 298 - 303
  • [49] Formal Model and Analysis for the Random Event in the Intelligent Car with Stochastic Petri Nets and Z
    Liu, Yang
    Fan, Yingqi
    Huang, Darong
    Mi, Bo
    Huang, Liyuan
    SECURITY AND COMMUNICATION NETWORKS, 2022, 2022
  • [50] New formal descriptions for timed coloured Petri nets using formal series
    Sollier, Louis Bal Dit
    Ourghanlian, Alain
    Amari, Said
    2023 62ND IEEE CONFERENCE ON DECISION AND CONTROL, CDC, 2023, : 7373 - 7379
12345