Analysis of asynchronous concurrent systems by Petri nets
By: Chander Ramchandani.
Contributors: Project MAC (Massachusetts Institute of Technology)
Publisher: Massachusetts Institute of Technology, Project MAC
Published: 1974
Place of publication: Cambridge
Language: eng
Number of pages: 219
Subjects: Sequential machine theory.; Petri nets.
Notes: Bibliography: p. 216-218.
Thesis--Massachusetts Institute of Technology.
"MAC TR-120."
"Contract no. N00014-70-A-0362-0001."