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 条
  • [41] Verification of siphons and traps for algebraic Petri nets
    Schmidt, K
    [J]. APPLICATION AND THEORY OF PETRI NETS 1997, 1997, 1248 : 427 - 446
  • [42] Testable design verification using Petri nets
    Ruzicka, R
    [J]. EUROMICRO SYMPOSIUM ON DIGITAL SYSTEM DESIGN, PROCEEDINGS, 2003, : 304 - 311
  • [43] Petri Nets for Smart Grids: The Story So Far
    Ge, Mouzhi
    Rossi, Bruno
    Chren, Stanislav
    Miguel Blanco, Jose
    [J]. 39TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, SAC 2024, 2024, : 661 - 670
  • [44] Verification of Timed-Arc Petri Nets
    Jacobsen, Lasse
    Jacobsen, Morten
    Moller, Mikael H.
    Srba, Jiri
    [J]. SOFSEM 2011: THEORY AND PRACTICE OF COMPUTER SCIENCE, 2011, 6543 : 46 - 72
  • [45] Computing Parameterized Invariants of Parameterized Petri Nets
    Esparza, Javier
    Raskin, Mikhail
    Welzel, Christoph
    [J]. FUNDAMENTA INFORMATICAE, 2022, 187 (2-4) : 197 - 243
  • [46] Group Associated Petri Nets in Bio Computing
    Thirusangu, K.
    Thomas, D. Gnanaraj
    Balamurugan, B. J.
    [J]. DISTRIBUTED COMPUTING AND INTERNET TECHNOLOGY, 2012, 7154 : 270 - +
  • [47] Computing Parameterized Invariants of Parameterized Petri Nets
    Esparza, Javier
    Raskin, Mikhail
    Welzel, Christoph
    [J]. APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY (PETRI NETS 2021), 2021, 12734 : 141 - 163
  • [48] Petri Net Controlled Grammars: the Case of Special Petri Nets
    Dassow, Juergen
    Turaev, Sherzod
    [J]. JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2009, 15 (14) : 2808 - 2835
  • [49] Observability of continuous Petri nets with infinite server semantics
    Mahulea, Cristian
    Recalde, Laura
    Silva, Manuel
    [J]. NONLINEAR ANALYSIS-HYBRID SYSTEMS, 2010, 4 (02) : 219 - 232
  • [50] Synthesis of Petri Nets from Infinite Partial Languages
    Bergenthum, Robin
    Desel, Joerg
    Lorenz, Robert
    Mauser, Sebastian
    [J]. 2008 8TH INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS, 2008, : 170 - 179
12345