Analysis of asynchronous concurrent systems by timed petri nets. - Chander Ramchandani (1973)