Analysis of asynchronous concurrent systems by Petri nets (1974)

by C Ramchandani