Use of position invariants of the Petri nets

被引：0
|
作者：
Volkov, S.I.
Mironovskij, L.A.
Reshetnikov, N.N.
机构：
来源：
Kibernetika i Vychislitel'naya Tekhnika | 1992年 / 01期
关键词：
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 条
  • [11] Theoretical Aspects of Petri Nets Decomposition Based on Invariants and Hypergraphs
    Wisniewski, Remigiusz
    Stefanowicz, Lukasz
    Bukowiec, Arkadiusz
    Lipinski, Jakub
    MULTIMEDIA AND UBIQUITOUS ENGINEERING, 2014, 308 : 371 - 376
  • [12] A reachability algorithm for general Petri nets based on transition invariants
    Kostin, Alexander E.
    MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2006, PROCEEDINGS, 2006, 4162 : 608 - 621
  • [13] GENERALIZED INVERSES AND THE CALCULATION OF SYMBOLIC INVARIANTS FOR COLORED PETRI NETS
    SILVA, M
    MARTINEZ, J
    LADET, P
    ALLA, H
    TSI-TECHNIQUE ET SCIENCE INFORMATIQUES, 1985, 4 (01): : 113 - 126
  • [14] Diagnosability analysis based on T-invariants of Petri nets
    Wen, YL
    Jeng, M
    2005 IEEE NETWORKING, SENSING AND CONTROL PROCEEDINGS, 2005, : 371 - 376
  • [15] Observability in interpreted Petri nets using sequence invariants.
    Aguirre-Salas, L
    Begovich, O
    Ramirez-Treviño, A
    PROCEEDINGS OF THE 41ST IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-4, 2002, : 3602 - 3607
  • [16] Reversibility analysis for Petri nets by using T-invariants
    Ozkan, Hanifie Apaydin
    Aybar, Aydin
    ACMOS '08: PROCEEDINGS OF THE 10TH WSEAS INTERNATIONAL CONFERENCE ON AUTOMATIC CONTROL, MODELLING AND SIMULATION, 2008, : 291 - +
  • [17] On generating elementary T-invariants of Petri nets by linear programming
    Ge, QW
    Fukunaga, T
    Nakata, M
    2005 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS (ISCAS), VOLS 1-6, CONFERENCE PROCEEDINGS, 2005, : 168 - 171
  • [18] Reachability analysis of a class of Petri nets using place invariants and siphons
    Zhang, Xiu Yan
    Li, Zhi Wu
    Zhong, Chun Fu
    Al-Ahmari, Abdulrahman M.
    MAEJO INTERNATIONAL JOURNAL OF SCIENCE AND TECHNOLOGY, 2013, 7 (02) : 278 - 290
  • [19] A decentralized approach for computing invariants in large scale and interconnected Petri Nets
    Bourjij, A
    Boutayeb, M
    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, : 1741 - 1746
  • [20] Structural Place Invariants for Analyzing the Behavioral Properties of Nested Petri Nets
    Dworzanski, Leonid W.
    Lomazova, Irina A.
    APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY, PETRI NETS 2016, 2016, 9698 : 325 - 344
12345