Acceleration of timing verification method based on time Petri nets (1991)

by T Yoneda, Y Tohma, Y Kondo
Venue:Systems and Computers in Japan