Analysis of Asynchronous Concurrent Systems by Petri Nets (1974)

by C Ramchandani