共 36 条
[1]
AJMONEMARSAN M, 1984, ACM T COMPUT SYST, V2
[2]
BERTHOMIEU B, 1983, INFORMATION PROCESSI
[3]
BILLINGTON J, 1988, IEEE T SOFTWARE ENG, V14
[4]
BRAUER W, 1987, ADV PETRI NETS 198 1
[5]
BRAUER W, 1987, ADV PETRI NETS 198 2
[6]
BRUNO G, 1986, IEEE T SOFTWARE ENG, V12
[7]
BUONANNO G, 1990, AUG P TAU 90 VANC
[8]
COOLAHAN JE, 1983, IEEE T SOFTWARE ENG, V9
[10]
GENRICH HJ, 1987, ADV PETRI NETS 1986