Analysis of Asynchronous Concurrent Systems by Petri Nets (1974)

by C Ramchandani
Venue:MAC TR-l20 , Ph.D. Thesis , MIT