共 18 条
[12]
Jensen K, 1991, HIGH LEVEL PETRI NET, P44
[14]
Perry D. E., 1992, SIGSOFT Software Engineering Notes, V17, P40, DOI 10.1145/141874.141884
[15]
Pin-Shan Chen P., 1976, ACM Transactions on Database Systems, V1, P9, DOI 10.1145/320434.320440
[16]
WARD PT, 1985, STRUCTURED DEV REAL
[17]
WEGNER P, 1987, OCT OOPSLA 87 P, P168