Graphical simulation of Petri Nets. - M. P. Subodh Kumar; Y. N. Srikant (Comput. Graph., 1986)