Decomposition of Petri nets

被引：16
|
作者：
D. A. Zaitsev
机构：
[1] A. S. Popov National Institute of Communication,
来源：
Cybernetics and Systems Analysis | 2004年 / 40卷 / 5期
关键词：
Petri net; subnet; decomposition; algorithm;
D O I：
10.1007/s10559-005-0012-0
中图分类号：
学科分类号：
摘要：
The problem of splitting any given Petri net into functional subnets is considered. The properties of functional subnets and sets that induce them are investigated. An algorithm of polynomial complexity is constructed for decomposition of nets.
引用
收藏
页码：739 / 746
页数：7
相关论文
共 50 条
  • [21] Petri nets with simple circuits
    Yen, HC
    Yu, LP
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2005, E88D (09): : 2113 - 2125
  • [22] PETRI NETS IN EXPERT SYSTEMS
    Polach, Petr
    Million, Pavel
    Honzik, Petr
    Pohl, Jan
    16TH INTERNATIONAL CONFERENCE ON SOFT COMPUTING MENDEL 2010, 2010, : 216 - 222
  • [23] On reachability graphs of Petri nets
    Ye, XM
    Zhou, HT
    Song, XY
    COMPUTERS & ELECTRICAL ENGINEERING, 2003, 29 (02) : 263 - 272
  • [24] COMPOSITIONAL ANALYSIS OF PETRI NETS
    Zaitsev, D. A.
    CYBERNETICS AND SYSTEMS ANALYSIS, 2006, 42 (01) : 126 - 136
  • [25] Petri nets in systems biology
    Koch, Ina
    SOFTWARE AND SYSTEMS MODELING, 2015, 14 (02): : 703 - 710
  • [26] Behavior relativity of Petri nets
    Changjun Jiang
    Huaiqing Wang
    Shaoyi Liao
    Journal of Computer Science and Technology, 2002, 17 : 770 - 780
  • [27] Behavior relativity of Petri nets
    Jiang, CJ
    Wang, HQ
    Liao, SL
    JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2002, 17 (06) : 770 - 780
  • [28] Separators in Continuous Petri Nets
    Blondin, Michael
    Esparza, Javier
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES (FOSSACS 2022), 2022, 13242 : 81 - 100
  • [29] Connectednesses and disconnectednesses of Petri nets
    Veldsman, S
    APPLIED CATEGORICAL STRUCTURES, 2000, 8 (1-2) : 485 - 504
  • [30] A survey of siphons in Petri nets
    Liu, GaiYun
    Barkaoui, Kamel
    INFORMATION SCIENCES, 2016, 363 : 198 - 220
12345