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 条
  • [41] A P- and T-invariant characterization of product form and decomposition in stochastic Petri nets
    Kortbeek, Nikky
    Boucherie, Richard J.
    PERFORMANCE EVALUATION, 2012, 69 (11) : 573 - 599
  • [42] Lagrangian Relaxation Approach for Solving Optimal Firing Sequence Problems by Decomposition of Timed Petri Nets
    Nishi, Tatsushi
    Shimatani, Kenichi
    Inuiguchi, Masahiro
    2008 PROCEEDINGS OF SICE ANNUAL CONFERENCE, VOLS 1-7, 2008, : 1526 - 1531
  • [43] A Decomposition Method for Optimal Firing Sequence Problems for First-order Hybrid Petri Nets
    Nishi, Tatsushi
    Shimatani, Kenichi
    Inuiguchi, Masahiro
    2009 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS (SMC 2009), VOLS 1-9, 2009, : 2854 - 2859
  • [44] Modeling the Metabolism of Arabidopsis thaliana: Application of Network Decomposition and Network Reduction in the Context of Petri Nets
    Koch, Ina
    Noethen, Joachim
    Schleiff, Enrico
    FRONTIERS IN GENETICS, 2017, 8
  • [45] Methods for behavior descriptions of structure-complex Petri nets
    Qingtian ZENG
    Institute of Computing Technology
    Journal of Control Theory and Applications, 2004, (01) : 93 - 98
  • [46] A NEW METHODOLOGY FOR ANALYZING DISTRIBUTED SYSTEMS MODELED BY PETRI NETS
    SARKAR, D
    DAS, SK
    AGRAWAL, VK
    PATNAIK, LM
    INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS, 1990, 31 (3-4) : 153 - 165
  • [47] Process expression of bounded Petri nets
    Wu, ZH
    SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES, 1996, 39 (01): : 37 - 49
  • [48] The Detection and Prevention of Deadlock in Petri Nets
    Hu, Wensong
    Zhu, Yuyuan
    Lei, Jie
    2011 INTERNATIONAL CONFERENCE ON PHYSICS SCIENCE AND TECHNOLOGY (ICPST), 2011, 22 : 656 - 659
  • [49] Limited Codes Associated with Petri Nets
    Tanaka, Genjiro
    ACTA CYBERNETICA, 2009, 19 (01): : 217 - 230
  • [50] Decentralized Supervision of Petri Nets With a Coordinator
    Ye, Jianhong
    Li, Zhiwu
    Giua, Alessandro
    IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2015, 45 (06): : 955 - 966
12345