Analysis of Asynchronous Concurrent Systems by Timed Petri Nets (1974)

by C Ramchandani