共 18 条
- [11] PETRI CA, 1977, GMDISF7705 REP
- [12] PLUNNECKE H, 1981, GMDISF8109 REP
- [13] REISIG W, 1980, PETRI NETS RELATED S
- [14] ROZENBERG G, 1983, INFORMATIK FACHBERIC, V66
- [15] STARKE P, 1981, ELEKTRONISCHE INFORM, V17
- [16] AN ALGEBRAIC DESCRIPTION OF SYSTEM BEHAVIORS [J]. THEORETICAL COMPUTER SCIENCE, 1982, 21 (03) : 315 - 340
- [17] WINSKEL G, UNPUB NEW DEFINITION
- [18] [No title captured]