HIERARCHICAL REDUCTION METHOD FOR ANALYSIS AND DECOMPOSITION OF PETRI NETS.

被引：0
|
作者：
Lee, Kwang-Hyung [1 ]
Favrel, Joel [1 ]
机构：
[1] INSA, Lab Informatique Appliquee,, Villeurbanne, Fr, INSA, Lab Informatique Appliquee, Villeurbanne, Fr
来源：
IEEE Transactions on Systems, Man and Cybernetics | 1985年 / SMC-15卷 / 02期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
83
引用
收藏
页码：272 / 280
相关论文
共 50 条
  • [1] HIERARCHICAL REDUCTION METHOD FOR ANALYSIS AND DECOMPOSITION OF PETRI NETS
    LEE, KH
    FAVREL, J
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS, 1985, 15 (02): : 272 - 280
  • [2] SAFETY ANALYSIS USING PETRI NETS.
    Leveson, Nancy G.
    Stolzy, Janice L.
    IEEE Transactions on Software Engineering, 1987, SE-13 (03) : 386 - 397
  • [3] SYSTEMATIC METHOD OF REALIZATION OF INTERPRETED PETRI NETS.
    Auguin, M.
    Boeri, F.
    Andre, C.
    Digital processes, 1980, 6 (01): : 55 - 68
  • [4] A Reduction Method of Timed Petri Nets for a Hierarchical Scheduling
    Denki Gakkai Ronbunshi C Denshi Joho Shisutemu Bumonshi, 7 (914):
  • [5] Representation of Monitors by Petri Nets.
    Steinmetz, Ralf
    Angewandte Informatik, Applied Informatics, 1984, 26 (08): : 314 - 322
  • [6] Method of Logical Synthesis of Digital Circuits Described by Petri Nets.
    Kalinowski, Jerzy
    Luba, Tadeusz
    Rozprawy Elektrotechniczne, 1986, 32 (04): : 1253 - 1263
  • [7] Switching Systems: Grafcet or Petri Nets.
    Blanchard, Michel
    Nouvel Automatisme, 1979, 24 (06): : 45 - 52
  • [8] Reduction Method for Reachability Analysis of Petri Nets
    韩赞东
    李基范
    Tsinghua Science and Technology, 2003, (02) : 231 - 235
  • [9] DISCRETE TIME STOCHASTIC PETRI NETS.
    Molloy, Michael K.
    IEEE Transactions on Software Engineering, 1985, SE-11 (04) : 417 - 423
  • [10] Jumping Petri Nets. Specific properties
    Laurentiu, Tiplea, Ferucio
    Makinen, Erkki
    Fundamenta Informaticae, 1997, 32 (3-4): : 373 - 392
12345