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 条
  • [31] Grammars Controlled by Special Petri Nets
    Dassow, Juergen
    Turaev, Sherzod
    [J]. LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS, 2009, 5457 : 326 - +
  • [32] Matrix Reduction Verification of Extended Petri Nets
    Cantrell, Walter Alan
    Maxwell, Katia P.
    Petty, Mikel D.
    Whitaker, Tymaine S.
    [J]. ACMSE 2020: PROCEEDINGS OF THE 2020 ACM SOUTHEAST CONFERENCE, 2020, : 296 - 299
  • [33] Automatic abstraction refinement for Petri nets verification
    Chen, ZY
    Zhou, CH
    Ding, DC
    [J]. HLDVT'05: TENTH ANNUAL IEEE INTERNATIONAL HIGH-LEVEL DESIGN VALIDATION AND TEST WORKSHOP, PROCEEDINGS, 2005, : 168 - 174
  • [34] The Complexity of Diagnosability and Opacity Verification for Petri Nets
    Berard, Beatrice
    Haar, Stefan
    Schmitz, Sylvain
    Schwoon, Stefan
    [J]. APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY, PETRI NETS 2017, 2017, 10258 : 200 - 220
  • [35] Reversibility verification of Petri nets using unfoldings
    Miyamoto, T
    Kumagai, S
    [J]. SMC '97 CONFERENCE PROCEEDINGS - 1997 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5: CONFERENCE THEME: COMPUTATIONAL CYBERNETICS AND SIMULATION, 1997, : 4274 - 4278
  • [36] Petri Nets with Parameterised Data Modelling and Verification
    Ghilardi, Silvio
    Gianola, Alessandro
    Montali, Marco
    Rivkin, Andrey
    [J]. BUSINESS PROCESS MANAGEMENT (BPM 2020), 2020, 12168 : 55 - 74
  • [37] Special section on coloured Petri nets
    Kurt Jensen
    [J]. International Journal on Software Tools for Technology Transfer, 2007, 9 (3-4) : 209 - 212
  • [38] The Complexity of Diagnosability and Opacity Verification for Petri Nets
    Berard, Beatrice
    Haar, Stefan
    Schmitz, Sylvain
    Schwoon, Stefan
    [J]. FUNDAMENTA INFORMATICAE, 2018, 161 (04) : 317 - 349
  • [39] Slicing Petri nets with an application to workflow verification
    Rakow, Astrid
    [J]. SOFSEM 2008: THEORY AND PRACTICE OF COMPUTER SCIENCE, 2008, 4910 : 436 - 447
  • [40] Marking diagnosability verification in labeled Petri nets
    Ma, Ziyue
    Yin, Xiang
    Li, Zhiwu
    [J]. AUTOMATICA, 2021, 131
12345