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 条
  • [1] Petri-nets for formal verification of MAC protocols
    Haines, R. J.
    Clemo, G. R.
    Munro, A. T. D.
    IET SOFTWARE, 2007, 1 (02) : 39 - 47
  • [2] Description and Validation of Communication Protocols by Petri Nets.
    Accarino, N.
    Rossi, C.
    Trigila, S.
    Note, recensioni, notizie, 1981, 30 (02): : 49 - 65
  • [3] Formal description of CSCW using extended Petri nets
    Shen, J
    Luo, JZ
    Gu, GQ
    PROCEEDINGS OF SECOND INTERNATIONAL WORKSHOP ON CSCW IN DESIGN, 1997, : 278 - 281
  • [4] From Petri nets to formal description techniques and protocol engineering
    Luo, Junzhou
    Shen, Jun
    Gu, Guanqun
    Ruan Jian Xue Bao/Journal of Software, 2000, 11 (05): : 606 - 615
  • [5] Possibilistic Petri nets as a basis for agent service description language
    Lee, J
    Liu, KFR
    Wang, YC
    Chiang, W
    FUZZY SETS AND SYSTEMS, 2004, 144 (01) : 105 - 126
  • [6] Considering Time in Formal Analysis of Security Protocols Using Colored Petri Nets
    Xu, Meng
    Su, Guiping
    Ding, Yanlan
    2008 INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE AND SYSTEMS SYMPOSIA, PROCEEDINGS, 2008, : 63 - 68
  • [7] DESIGN OF PROTOCOLS - SPECIFICATION AND FORMAL DESCRIPTION TECHNIQUES
    MESTRAS, JP
    PEREDA, O
    TOMAS, JG
    REVISTA DE INFORMATICA Y AUTOMATICA, 1988, 21 (01): : 28 - 37
  • [8] Formal design methodology for transforming ladder diagram to Petri nets
    J. C. Quezada
    J. Medina
    E. Flores
    J. C. Seck Tuoh
    N. Hernández
    The International Journal of Advanced Manufacturing Technology, 2014, 73 : 821 - 836
  • [9] Formal design methodology for transforming ladder diagram to Petri nets
    Quezada, J. C.
    Medina, J.
    Flores, E.
    Seck Tuoh, J. C.
    Hernandez, N.
    INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, 2014, 73 (5-8): : 821 - 836
  • [10] Formal Translation from Reversing Petri Nets to Coloured Petri Nets
    Barylska, Kamila
    Gogolinska, Anna
    Mikulski, Lukasz
    Philippou, Anna
    Piatkowski, Marcin
    Psara, Kyriaki
    REVERSIBLE COMPUTATION, 2022, : 172 - 186
12345