CONCURRENT SYSTEM-ANALYSIS USING PETRI NETS - AN OPTIMIZED ALGORITHM FOR FINDING NET INVARIANTS

被引：7

作者：

DANNA, M ^{[1
]}

TRIGILA, S ^{[1
]}

机构：

[1] FDN UGO BORDON,I-00142 ROME,ITALY

来源：

关键词：

D O I：

10.1016/0140-3664(88)90085-0

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：215 / 220

页数：6

共 17 条

[1]

ABADIE J, 1972, PROBLEMES OPTIMISATI

[2]

ALAIWAN H, 1982, REV TECH THOMSON, V14, P125

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

BERTHELOT, G ;

TERRAT, R .

[4]

BERTHOMIEU B, 1979, THESIS U P SABATIER

[5]

Farkas J, 1902, J REINE ANGEW MATH, V124, P1

[6]

GENRICH HJ, 1980, LNCS, V84, P21

[7]

Jensen K., 1981, LECTURE NOTES COMPUT, V118, P327

[8] FORMAL VERIFICATION OF PARALLEL PROGRAMS [J].

KELLER, RM .

[9]

LAUTENBACH K, 1987, LECT NOTES COMPUT SC, V254, P142

[10]

LAUTENBACH K, 1974, P IFIP C 74, P187