Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets (1980)

by C V Ramamoorthy, G S Ho
Venue:IEEE Trans. on Software Engineering