共 31 条
[11]
DEVILLERS R, 1985, LIT161 ULB TECH REPT
[12]
FERNANDEZ C, 1985, LECT NOTES COMPUT SC, V188, P122
[13]
Genrich H.J., 1980, ADV COURSE NET THEOR, V84, P519, DOI [10.1007/3-540-10001-6_39, DOI 10.1007/3-540-10001-6_39]
[14]
GENRICH HJ, 1980, LNCS, V84, P21
[15]
THE NON-SEQUENTIAL BEHAVIOR OF PETRI NETS
[J].
INFORMATION AND CONTROL,
1983, 57 (2-3)
:125-147
[16]
GOLTZ U, 1984, LNCS, V172, P196, DOI DOI 10.1007/3-540-13345-318
[17]
HENNESSY M, 1979, LECTURE NOTES COMPUT, V74, P108
[18]
HOLT A, 1968, ADR6606 APPL DAT RES
[19]
Lamport L., 1983, Information Processing 83. Proceedings of the IFIP 9th World Computer Congress, P657
[20]
LAUER PE, 1981, ACM SIGPLAN NOTICES, V16, P66