HIERARCHICAL REDUCTION METHOD FOR ANALYSIS AND DECOMPOSITION OF PETRI NETS

被引：49

作者：

LEE, KH ^{[1
]}

FAVREL, J ^{[1
]}

机构：

[1] INST NATL SCI APPL LYON,INFORMAT APPL LAB,F-69621 VILLEURBANNE,FRANCE

来源：

IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS | 1985年 / 15卷 / 02期

关键词：

D O I：

10.1109/TSMC.1985.6313357

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：272 / 280

页数：9

共 83 条

[1]

AGERWALA T, 1979, COMPUTER DEC, P85

[2]

ANDRE C, 1976, REV FR AUTOMAT INFOR, V10, P67

[3]

AYACHE JM, 1982, IEEE T COMPUT, V31, P637, DOI 10.1109/TC.1982.1676061

[4]

Azema P., 1978, 3rd International Conference on Software Engineering, P168

[5]

AZEMA P, 1975, ACM S COMPUT HARDWAR, P188

BAER, JL ;

ELLIS, CS .

[7]

BAPTISTE P, 1982, SYSTEME INFORMATION

[8] PETRI NETS THEORY FOR THE CORRECTNESS OF PROTOCOLS [J].

BERTHELOT, G ;

TERRAT, R .

[9]

BERTHELOT G, 1979, 1ST P C PAR DISTR PR, P251

[10]

BERTHELOT G, 1977, AFCET C RESEAUX PETR, P33