FAILURES SEMANTICS AND DEADLOCKING OF MODULAR PETRI NETS

被引：0

作者：

VOGLER, W

机构：

来源：

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：542 / 551

页数：10

共 21 条

[1]

ANDRE C, 1983, RAIRO-AUTOM-SYST ANA, V17, P5

[2]

ANDRE C, 1982, INFORMATIK FACHBERIC, V52, P241

[3]

ANDRE C, 1983, INFORMATIK FACHBERIC, V66, P14

[4]

BAUMGARTEN B, 1987, ARBEITSPAPIERE GMD, V254

[5]

BERTHELOT G, 1984, 5TH P EUR WORKSH APP, P310

[6]

BEST E, 1986, ARBEITSPAPIERE GMD, V195

[7] A THEORY OF COMMUNICATING SEQUENTIAL PROCESSES [J].

BROOKES, SD ;

HOARE, CAR ;

ROSCOE, AW .

[8]

BROOKES SD, 1985, LECT NOTES COMPUT SC, V197, P281

[9]

De Cindio F., 1986, Seventh European Workshop on Application and Theory of Petri Nets. Proceedings, P343

[10]

Goltz U., 1986, Seventh European Workshop on Application and Theory of Petri Nets. Proceedings, P73