论文信息 - An Analysis Oriented Description of Parallel Systems Allowing Timing Considerations - 字舞流文

An Analysis Oriented Description of Parallel Systems Allowing Timing Considerations

R. Valette | R. Valette

[1] Michel Hack,et al. ANALYSIS OF PRODUCTION SCHEMATA BY PETRI NETS , 1972 .

[2] M. Hack,et al. PETRI NET LANGUAGE , 1976 .

[3] S. Rao Kosaraju,et al. Limitations of Dijkstra's Semaphore Primitives and Petri nets , 1973, SOSP '73.

[4] Richard M. Karp,et al. Parallel Program Schemata , 1969, J. Comput. Syst. Sci..