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] From Coloured Petri Nets to Object Petri Nets
    Lakos, C
    APPLICATION AND THEORY OF PETRI NETS 1995, 1995, 935 : 278 - 297
  • [22] PETRI NETS
    PETERSON, JL
    COMPUTING SURVEYS, 1977, 9 (03) : 223 - 252
  • [23] PETRI NETS
    ROZENBLYUM, LY
    ENGINEERING CYBERNETICS, 1983, 21 (05): : 19 - 43
  • [24] Petri nets
    Advances in Industrial Control, 2009, (9781848822436): : 17 - 43
  • [25] Petri nets
    Petrinetze
    Informatik-Spektrum, 1600, Springer Verlag (37): : 165 - 167
  • [26] Decomposition of Petri nets and Lagrangian relaxation for solving routing problems for AGVs
    Nishi, Tatsushi
    Shimatani, Kenichi
    Inuiguchi, Masahiro
    INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, 2009, 47 (14) : 3957 - 3977
  • [27] A HIERARCHICAL DECOMPOSITION OF DECISION PROCESS PETRI NETS FOR MODELING COMPLEX SYSTEMS
    Clempner, Julio
    INTERNATIONAL JOURNAL OF APPLIED MATHEMATICS AND COMPUTER SCIENCE, 2010, 20 (02) : 349 - 366
  • [28] DECOMPOSITION OF PETRI NETS FOR DESIGNING THE DISCRETE DEVICES AROUND THE STANDARD MODULES
    KOENIG, R
    FRICNOVICH, GF
    AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA, 1984, (01): : 82 - 91
  • [29] COMPLETE DECOMPOSITION OF STOCHASTIC PETRI NETS REPRESENTING GENERALIZED SERVICE NETWORKS
    LI, Y
    WOODSIDE, CM
    IEEE TRANSACTIONS ON COMPUTERS, 1995, 44 (08) : 1031 - 1046
  • [30] Using colored Petri nets to simulate object Petri nets
    Corchado, FFR
    Gallegos, FZ
    Jiménez, AA
    Dávila, HIP
    International Conference on Computing, Communications and Control Technologies, Vol 5, Proceedings, 2004, : 27 - 31
12345