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 条
  • [21] Duality in high level Petri-nets -: A basis to do diagnoses
    Mueller, Joerg R.
    Schnieder, Eckehard
    PROCEEDINGS OF THE 2007 WINTER SIMULATION CONFERENCE, VOLS 1-5, 2007, : 608 - 615
  • [22] Characterizing Stable and Deriving Valid Inequalities of Petri Nets
    Triebel, Marvin
    Suermeli, Jan
    FUNDAMENTA INFORMATICAE, 2016, 146 (01) : 1 - 34
  • [23] Property analysis of logic Petri nets by marking reachability graphs
    Yuyue Du
    Yuhui Ning
    Frontiers of Computer Science, 2014, 8 : 684 - 692
  • [24] ISOMORPHISMS BETWEEN PETRI NETS AND DATA-FLOW GRAPHS
    KAVI, KM
    BUCKLES, BP
    BHAT, UN
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1987, 13 (10) : 1127 - 1134
  • [25] Transforming Dynamic Condition Response Graphs to Safe Petri Nets
    Cosma, Vlad Paul
    Hildebrandt, Thomas T.
    Slaats, Tijs
    APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY, PETRI NETS 2023, 2023, 13929 : 417 - 439
  • [26] Property analysis of logic Petri nets by marking reachability graphs
    Du, Yuyue
    Ning, Yuhui
    FRONTIERS OF COMPUTER SCIENCE, 2014, 8 (04) : 684 - 692
  • [27] Comparison of Security Models: Attack Graphs Versus Petri Nets
    White, Steven C.
    Sarvestani, Sahra Sedigh
    ADVANCES IN COMPUTERS, VOL 94, 2014, 94 : 1 - 24
  • [28] Algorithm modelling with Petri Nets - Comparison with data dependence graphs
    Hanzalek, Z
    1998 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5, 1998, : 214 - 219
  • [29] Requirements specification and analysis of digital systems using fuzzy and marked Petri nets
    Shen, VRL
    Lai, FP
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS, 1998, 28 (05): : 748 - 754
  • [30] Insufficiently marked siphon of Petri nets - Extension of token-free siphon
    Ohta, A
    Tsuji, K
    PROCEEDINGS OF THE 2003 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOL III: GENERAL & NONLINEAR CIRCUITS AND SYSTEMS, 2003, : 244 - 247
12345