Use of position invariants of the Petri nets

被引:0
|
作者
Volkov, S.I.
Mironovskij, L.A.
Reshetnikov, N.N.
机构
关键词
Searching Algorithms;
D O I
暂无
中图分类号
学科分类号
摘要
Searching algorithms of defect labelling and structural network defects were suggested. Classes of equivalent defects were described. Problem of revealing sets of unobserved defects was solved. In case initial network was not non-volatile and did not display positional invariants the network was turned into non-volatile at the expense of introduction of excessive positions without violating functioning rules. Such approach expanded field of using gained results.
引用
收藏
页码:92 / 99
相关论文
共 50 条
  • [1] Invariants of Timed Petri Nets
    D. A. Zaitsev
    Cybernetics and Systems Analysis, 2004, 40 (2) : 226 - 237
  • [2] ON THE INVARIANTS OF COLORED PETRI NETS
    NARAHARI, Y
    VISWANADHAM, N
    LECTURE NOTES IN COMPUTER SCIENCE, 1986, 222 : 330 - 345
  • [3] On generating a basis of invariants in Petri Nets
    Bourjij, A
    Boutayeb, M
    Koenig, D
    Cecchin, T
    SMC '97 CONFERENCE PROCEEDINGS - 1997 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5: CONFERENCE THEME: COMPUTATIONAL CYBERNETICS AND SIMULATION, 1997, : 2228 - 2233
  • [4] Generating Inductive Invariants for Petri Nets
    Wu, Bin
    Fu, YongJun
    ADVANCES IN ELECTRICAL ENGINEERING AND AUTOMATION, 2012, 139 : 259 - +
  • [5] Computing Parameterized Invariants of Parameterized Petri Nets
    Esparza, Javier
    Raskin, Mikhail
    Welzel, Christoph
    FUNDAMENTA INFORMATICAE, 2022, 187 (2-4) : 197 - 243
  • [6] Computing Parameterized Invariants of Parameterized Petri Nets
    Esparza, Javier
    Raskin, Mikhail
    Welzel, Christoph
    APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY (PETRI NETS 2021), 2021, 12734 : 141 - 163
  • [7] A Survey of Petri Nets Supervision Based on Place Invariants
    Wang, Shouguang
    Yu, Junwen
    Zhao, Liangxu
    PROCEEDINGS OF ANNUAL CONFERENCE OF CHINA INSTITUTE OF COMMUNICATIONS, 2010, : 189 - 193
  • [8] Feedback control of Petri nets based on place invariants
    Yamalidou, K
    Moody, J
    Lemmon, M
    Antsaklis, P
    AUTOMATICA, 1996, 32 (01) : 15 - 28
  • [9] MATHEMATICAL-METHODS FOR CALCULATING INVARIANTS IN PETRI NETS
    KRUCKEBERG, F
    JAXY, M
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 266 : 104 - 131
  • [10] USING PLACE INVARIANTS IN PETRI NETS FOR FUNCTIONAL DIAGNOSIS
    VOLKOV, SI
    MIRONOVSKII, LA
    RESHETNIKOVA, NN
    CYBERNETICS AND SYSTEMS ANALYSIS, 1992, 28 (01) : 78 - 83