Verification of Computing Grids with Special Edge Conditions by Infinite Petri Nets

被引：15
|
作者：
Zaitsev, D. A. [1 ]
机构：
[1] Int Humanitarian Univ, Odessa, Ukraine
来源：
AUTOMATIC CONTROL AND COMPUTER SCIENCES | 2013年 / 47卷 / 07期
关键词：
computing grid; infinite Petri net; invariant; boundedness; safeness; liveness;
D O I：
10.3103/S0146411613070262
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
A technique of the computing grids verification using invariants of infinite Petri nets was presented. Models of square grid structures in the form of parametric Petri nets for such edge conditions as connection of edges and truncated devices were constructed. Infinite systems of linear alge-braic equations were composed on parametric Petri nets for calculating p-invariants; their parametric solutions were obtained. P-invariant Petri nets are structurally conservative and bounded that together with liveness are the properties of ideal systems. Liveness investigation based on siphons and traps can be implemented using p-invariants of modified nets.
引用
收藏
页码：403 / 412
页数：10
相关论文
共 50 条
  • [1] VERIFICATION OF THE TRIANGULAR COMMUNICATION GRIDS PROTOCOLS BY INFINITE PETRI NETS
    Shmeleva, T. R.
    [J]. RADIO ELECTRONICS COMPUTER SCIENCE CONTROL, 2018, (04) : 31 - 41
  • [2] 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
  • [3] 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
  • [4] 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
  • [5] Applying Infinite Petri Nets to the Cybersecurity of Intelligent Networks, Grids and Clouds
    Zaitsev, Dmitry A.
    Shmeleva, Tatiana R.
    Probert, David E.
    [J]. APPLIED SCIENCES-BASEL, 2021, 11 (24):
  • [6] VERIFICATION OF SQUARE COMMUNICATION GRID PROTOCOLS VIA INFINITE PETRI NETS
    Shmeleva, T. R.
    Zaitsev, D. A.
    Zaitsev, I. D.
    [J]. MESM 2009: 10TH MIDDLE EASTERN SIMULATION MULTICONFERENCE, 2009, : 53 - 59
  • [7] Verification of Infinite-step Opacity Using Labeled Petri Nets
    Lan, Hao
    Tong, Yin
    Seatzu, Carla
    [J]. IFAC PAPERSONLINE, 2020, 53 (02): : 1729 - 1734
  • [8] Edge servers placement in mobile edge computing using stochastic Petri nets
    Carvalho, Daniel
    Rodrigues, Laecio
    Endo, Patricia Takako
    Kosta, Sokol
    Silva, Francisco Airton
    [J]. INTERNATIONAL JOURNAL OF COMPUTATIONAL SCIENCE AND ENGINEERING, 2020, 23 (04) : 352 - 366
  • [9] Universality in Infinite Petri Nets
    Zaitsev, Dmitry A.
    [J]. MACHINES, COMPUTATIONS, AND UNIVERSALITY, MCU 2015, 2015, 9288 : 180 - 197
  • [10] INFINITE BEHAVIOR OF PETRI NETS
    VALK, R
    [J]. THEORETICAL COMPUTER SCIENCE, 1983, 25 (03) : 311 - 341
12345