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 条
  • [41] Using colored Petri nets to simulate object Petri nets
    Corchado, FFR
    Gallegos, FZ
    Jiménez, AA
    Dávila, HIP
    International Conference on Computing, Communications and Control Technologies, Vol 5, Proceedings, 2004, : 27 - 31
  • [42] Petri Nets with Time Windows: A Comparison to Classical Petri Nets
    Wegener, Jan-Thierry
    Popova-Zeugmann, Louchka
    FUNDAMENTA INFORMATICAE, 2009, 93 (1-3) : 337 - 352
  • [44] FORMALIZATION OF TEXTUAL USE CASES BASED ON PETRI NETS
    Some, Stephane S.
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2010, 20 (05) : 695 - 737
  • [45] CONCURRENT SYSTEM-ANALYSIS USING PETRI NETS - AN OPTIMIZED ALGORITHM FOR FINDING NET INVARIANTS
    DANNA, M
    TRIGILA, S
    COMPUTER COMMUNICATIONS, 1988, 11 (04) : 215 - 220
  • [46] HIERARCHY AND PARALLELISM IN PETRI NETS .1. COMPOSITE PETRI NETS
    TAL, AA
    YUDITSKII, SA
    AUTOMATION AND REMOTE CONTROL, 1982, 43 (07) : 936 - 943
  • [47] Formal Translation from Reversing Petri Nets to Coloured Petri Nets
    Barylska, Kamila
    Gogolinska, Anna
    Mikulski, Lukasz
    Philippou, Anna
    Piatkowski, Marcin
    Psara, Kyriaki
    REVERSIBLE COMPUTATION, 2022, : 172 - 186
  • [48] Limits of fluidification for a stochastic Petri Nets by timed continuous Petri Nets
    Benaya, N.
    El-Akchioui, N.
    Mourabit, T.
    2018 INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS AND COMPUTER VISION (ISCV2018), 2018,
  • [49] PETRI NET TRANSFORMATION FOR DECISION MAKING: COMPOUND PETRI NETS TO ALTERNATIVES AGGREGATION PETRI NETS
    Ignacio Latorre-Biel, Juan
    Jimenez-Macias, Emilio
    23RD EUROPEAN MODELING & SIMULATION SYMPOSIUM, EMSS 2011, 2011, : 613 - 618
  • [50] The use of conventional and minplus algebra for the modeling of hybrid Petri nets
    Komenda, J
    El Moudni, A
    Zerhouni, N
    CYBERNETICS AND SYSTEMS, 1998, 29 (08) : 869 - 884