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 条
  • [31] Petri nets and feedback control
    Papik, Martin
    Brozek, Jiri
    Vanicek, Jiri
    AGRARIAN PERSPECTIVES XVIII, VOLS 1 AND 2, 2009, : 609 - 613
  • [32] STRUCTURALLY CYCLIC PETRI NETS
    Drewes, Frank
    Leroux, Jerome
    LOGICAL METHODS IN COMPUTER SCIENCE, 2015, 11 (04)
  • [33] Petri Nets for Concurrent Programming
    Rawson, Marshall
    Rawson, Michael G.
    2022 IEEE/ACM FIFTH ANNUAL WORKSHOP ON EMERGING PARALLEL AND DISTRIBUTED RUNTIME SYSTEMS AND MIDDLEWARE, IPDRM, 2022, : 17 - 24
  • [34] Petri nets in systems biology
    Ina Koch
    Software & Systems Modeling, 2015, 14 : 703 - 710
  • [35] Petri nets for protocol engineering
    Cheung, TY
    COMPUTER COMMUNICATIONS, 1996, 19 (14) : 1250 - 1257
  • [36] Discrete Parameters in Petri Nets
    David, Nicolas
    Jard, Claude
    Lime, Didier
    Roux, Olivier H.
    APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY, 2015, 9115 : 137 - 156
  • [37] Reversing Steps in Petri Nets
    de Frutos Escrig, David
    Koutny, Maciej
    Mikulski, Lukasz
    APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY, PETRI NETS 2019, 2019, 11522 : 171 - 191
  • [38] Formulation of Cell Petri Nets
    Jitsukawa, Mitsuru
    Kawamoto, Pauline N.
    Shidama, Yasunari
    FORMALIZED MATHEMATICS, 2013, 21 (04): : 241 - 247
  • [39] On Liveness and Reversibility of Equal-Conflict Petri Nets
    Hujsa, Thomas
    Delosme, Jean-Marc
    Munier-Kordon, Alix
    FUNDAMENTA INFORMATICAE, 2016, 146 (01) : 83 - 119
  • [40] Implementation of Algorithm of Petri Nets Distributed Synthesis into FPGA
    Bukowiec, Arkadiusz
    Tkacz, Jacek
    Gratkowski, Tomasz
    Gidlewicz, Tomasz
    INTERNATIONAL JOURNAL OF ELECTRONICS AND TELECOMMUNICATIONS, 2013, 59 (04) : 317 - 324
12345