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 条
  • [21] Semi-Formal Method Design using Synchronous Dataflows and Petri nets
    Rocha, Jose-Inacio
    Dias, Octavio Pascoa
    Gomes, Luis
    PROCEEDINGS OF THE IECON 2016 - 42ND ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, 2016, : 1043 - 1048
  • [22] 11.3.1 Formal Verification in System Design Process: From EFFBDs to Petri nets
    Seidner, Charlotte
    Lerat, Jean-Philippe
    Roux, Olivier H.
    INCOSE International Symposium, 2008, 18 (01) : 1273 - 1283
  • [23] On generating a basis of invariants in Petri Nets
    Bourjij, A
    Boutayeb, M
    Koenig, D
    Cecchin, T
    SMC '97 CONFERENCE PROCEEDINGS - 1997 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5: CONFERENCE THEME: COMPUTATIONAL CYBERNETICS AND SIMULATION, 1997, : 2228 - 2233
  • [24] MODELING OF COMMUNICATION PROTOCOLS BY USING PETRI NETS
    ILYAS, M
    KHALIL, H
    COMPUTERS & INDUSTRIAL ENGINEERING, 1986, 11 (1-4) : 547 - 551
  • [25] COMBINING PETRI NETS AND OTHER FORMAL METHODS
    REISIG, W
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 616 : 24 - 44
  • [26] Modelling and analysis of agent protocols with Petri nets
    Lehmann, K
    Moldt, D
    MULTIAGENT SYSTEM TECHNOLOGIES, PROCEEDINGS, 2004, 3187 : 85 - 98
  • [27] Formal Modeling of Grafcets With Time Petri Nets
    Sogbohossou, Medesu
    Vianou, Antoine
    IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY, 2015, 23 (05) : 1978 - 1985
  • [28] Formal Model of Random Walk Mobility Model for WMN using Coloured Petri Nets
    Khan, N. A.
    Ahmad, F.
    Baig, W. A.
    PROCEEDINGS OF 2014 11TH INTERNATIONAL BHURBAN CONFERENCE ON APPLIED SCIENCES & TECHNOLOGY (IBCAST), 2014, : 436 - 444
  • [29] Formal Analysis of Timed Continuous Petri Nets
    Kloetzer, Marius
    Mahulea, Cristian
    Belta, Calin
    Recalde, Laura
    Silva, Manuel
    47TH IEEE CONFERENCE ON DECISION AND CONTROL, 2008 (CDC 2008), 2008, : 245 - 250
  • [30] Experimenting Formal Proofs of Petri Nets Refinements
    Choppy, Christine
    Mayero, Micaela
    Petrucci, Laure
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 214 (231-254) : 231 - 254
12345