DUALITY OF STABLE PETRI NETS AND MARKED GRAPHS

被引：0
|
作者：
TROPASHKO, VV
机构：
来源：
AUTOMATION AND REMOTE CONTROL | 1992年 / 53卷 / 08期
关键词：
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 条
  • [31] Analysis and Synthesis of Weighted Marked Graph Petri Nets: Exact and Approximate Methods
    Devillers, Raymond
    Hujsa, Thomas
    FUNDAMENTA INFORMATICAE, 2019, 169 (1-2) : 1 - 30
  • [32] Logic and Algebra in Unfolded Petri Nets: on a Duality Between Concurrency and Causal Dependence
    Bernardinello, Luca
    Ferigato, Carlo
    Pomello, Lucia
    FUNDAMENTA INFORMATICAE, 2020, 171 (1-4) : 39 - 56
  • [33] Duality of controllability and observability in proportional equal conflict timed continuous Petri Nets
    Garcia-Malacara, J. L.
    Arzola, Cesar
    Ramirez-Trevino, Antonio
    Vazquez, C. Renato
    NONLINEAR ANALYSIS-HYBRID SYSTEMS, 2024, 52
  • [34] Marking Estimation in Petri Nets Using Hierarchical Basis Reachability Graphs
    Ma, Ziyue
    Zhu, Guanghui
    Li, Zhiwu
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2021, 66 (02) : 810 - 817
  • [35] ANALYSIS OF AN ADA SYSTEM USING COLORED PETRI NETS AND OCCURRENCE GRAPHS
    MCLENDON, WW
    VIDALE, RF
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 616 : 384 - 388
  • [36] Fault Diagnosis of Bounded Petri Nets Using Path Marking Graphs
    Ye, Dandan
    Wu, Weimin
    Luo, Jiliang
    Su, Hongye
    IEEE ACCESS, 2018, 6 : 53650 - 53660
  • [37] Prototyping of Concurrent Control Systems With Application of Petri Nets and Comparability Graphs
    Wisniewski, Remigiusz
    Karatkevich, Andrei
    Adamski, Marian
    Costa, Aniko
    Gomes, Luis
    IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY, 2018, 26 (02) : 575 - 586
  • [38] From Coloured Petri Nets to Object Petri Nets
    Lakos, C
    APPLICATION AND THEORY OF PETRI NETS 1995, 1995, 935 : 278 - 297
  • [39] Finite symbolic reachability graphs for high-level Petri nets
    Hameurlain, N
    Sibertin-Blanc, C
    ASIA PACIFIC SOFTWARE ENGINEERING CONFERENCE AND INTERNATIONAL COMPUTER SCIENCE CONFERENCE, PROCEEDINGS, 1997, : 150 - 159
  • [40] PETRI NETS
    PETERSON, JL
    COMPUTING SURVEYS, 1977, 9 (03) : 223 - 252
12345