VERIFICATION OF SQUARE COMMUNICATION GRID PROTOCOLS VIA INFINITE PETRI NETS

被引：0
|
作者：
Shmeleva, T. R. [1 ]
Zaitsev, D. A. [1 ]
Zaitsev, I. D. [1 ]
机构：
[1] Odessa Natl Acad Telecommun, UA-65029 Odessa, Ukraine
来源：
MESM 2009: 10TH MIDDLE EASTERN SIMULATION MULTICONFERENCE | 2009年
关键词：
Communication grid; Protocol; Verification; Infinite Petri Net; Deadlock;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
A technique of the linear invariants calculation for infinite Petri nets with the regular structure is presented and studied on the example of square communication grids of an arbitrary size. It is proven that the compulsory buffering of the packets inevitably leads to possible blockings of communicating devices. The structure of complex deadlocks involving an arbitrary number of communicating devices caused by both the cycle of blockings and the isolation is studied.*
引用
收藏
页码：53 / 59
页数：7
相关论文
共 50 条
  • [1] Verification of communication hexagonal grid with the infinite petri nets
    Shmeleva, T.R.
    [J]. Telecommunications and Radio Engineering (English translation of Elektrosvyaz and Radiotekhnika), 2019, 78 (02): : 125 - 135
  • [2] VERIFICATION OF THE TRIANGULAR COMMUNICATION GRIDS PROTOCOLS BY INFINITE PETRI NETS
    Shmeleva, T. R.
    [J]. RADIO ELECTRONICS COMPUTER SCIENCE CONTROL, 2018, (04) : 31 - 41
  • [3] THE VERIFICATION OF COMMUNICATION PROTOCOLS USING NUMERICAL PETRI NETS
    SYMONS, FJW
    [J]. AUSTRALIAN TELECOMMUNICATION RESEARCH, 1980, 14 (01): : 34 - 38
  • [4] COMPOSITIONAL DESIGN AND VERIFICATION OF COMMUNICATION PROTOCOLS, USING LABELED PETRI NETS
    LLORET, JC
    AZEMA, P
    VERNADAT, F
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 531 : 96 - 105
  • [5] Verification of Hypertorus Communication Grids by Infinite Petri Nets and Process Algebra
    Dmitry A.Zaitsev
    Tatiana R.Shmeleva
    Jan Friso Groote
    [J]. IEEE/CAA Journal of Automatica Sinica, 2019, 6 (03) : 733 - 742
  • [6] Verification of Hypertorus Communication Grids by Infinite Petri Nets and Process Algebra
    Zaitsev, Dmitry A.
    Shmeleva, Tatiana R.
    Groote, Jan Friso
    [J]. IEEE-CAA JOURNAL OF AUTOMATICA SINICA, 2019, 6 (03) : 733 - 742
  • [7] VERIFICATION OF HYPERCUBE COMMUNICATION STRUCTURES VIA PARAMETRIC PETRI NETS
    Zaitsev, D. A.
    Shmeleva, T. R.
    [J]. CYBERNETICS AND SYSTEMS ANALYSIS, 2010, 46 (01) : 105 - 114
  • [8] Application of modified coloured petri nets to modeling and verification of SDL specified communication protocols
    Nepomniaschy, Valery A.
    Alekseev, Gennady I.
    Argirov, Victor S.
    Beloglazov, Dmitri M.
    Bystrov, Alexander V.
    Chetvertakov, Eugene A.
    Churina, Tatiana G.
    Mylnikov, Sergey P.
    Novikov, Ruslan M.
    [J]. COMPUTER SCIENCE - THEORY AND APPLICATIONS, 2007, 4649 : 303 - +
  • [9] MODELING OF COMMUNICATION PROTOCOLS BY USING PETRI NETS
    ILYAS, M
    KHALIL, H
    [J]. COMPUTERS & INDUSTRIAL ENGINEERING, 1986, 11 (1-4) : 547 - 551
  • [10] Petri-nets for formal verification of MAC protocols
    Haines, R. J.
    Clemo, G. R.
    Munro, A. T. D.
    [J]. IET SOFTWARE, 2007, 1 (02) : 39 - 47
12345