DUALITY OF STABLE PETRI NETS AND MARKED GRAPHS

被引:0
|
作者
TROPASHKO, VV
机构
关键词
D O I
暂无
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
We consider the transformation of stable Petri nets into equivalent nets in the linguistic sense of a net in the class of marked graphs. Necessary and sufficient conditions for such a transformation are given. We show that marked graphs and stable Petri nets are dual descriptions of generalized convex sets of firing vectors in the Parik space of the Petri net.
引用
收藏
页码:1251 / 1256
页数:6
相关论文
共 50 条
  • [1] PETRI NETS AND MARKED GRAPHS - MATHEMATICAL-MODELS OF CONCURRENT COMPUTATION
    JOHNSONBAUGH, R
    MURATA, T
    AMERICAN MATHEMATICAL MONTHLY, 1982, 89 (08): : 552 - 566
  • [2] Plain, Bounded, Reversible, Persistent, and k-marked Petri Nets Have Marked Graph Reachability Graphs
    Best, Eike
    Wimmel, Harro
    REACHABILITY PROBLEMS, RP 2016, 2016, 9899 : 51 - 62
  • [3] On reachability graphs of Petri nets
    Ye, XM
    Zhou, HT
    Song, XY
    COMPUTERS & ELECTRICAL ENGINEERING, 2003, 29 (02) : 263 - 272
  • [4] Diagnosability of Petri nets with observation graphs
    D. Lefebvre
    E. Leclercq
    Discrete Event Dynamic Systems, 2016, 26 : 539 - 559
  • [5] Diagnosability of Petri nets with observation graphs
    Lefebvre, D.
    Leclercq, E.
    DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2016, 26 (03): : 539 - 559
  • [6] Characterisation of the state spaces of marked graph Petri nets
    Best, Eike
    Devillers, Raymond
    INFORMATION AND COMPUTATION, 2017, 253 : 399 - 410
  • [7] Characterizing Stable Inequalities of Petri Nets
    Triebel, Marvin
    Suermeli, Jan
    APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY, 2015, 9115 : 266 - 286
  • [8] Duality of Controllability-Observability in Continuous Petri Nets
    Vazquez, C. R.
    Garcia-Malacara, J. L.
    Ramirez-Trevino, A.
    2014 IEEE EMERGING TECHNOLOGY AND FACTORY AUTOMATION (ETFA), 2014,
  • [9] COMPOSITION AND DECOMPOSITION OF PETRI NETS AND THEIR COVERABILITY GRAPHS
    FINKEL, A
    PETRUCCI, L
    RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 1994, 28 (02): : 73 - 124
  • [10] Application of Comparability Graphs in Decomposition of Petri Nets
    Wisniewski, Remigiusz
    Karatkevich, Andrei
    Adamski, Marian
    Kur, Daniel
    2014 7TH INTERNATIONAL CONFERENCE ON HUMAN SYSTEM INTERACTIONS (HSI), 2014, : 216 - 220