An interactive graphical tool for modeling Petri nets - Vargas Castillo, Carlos A. (Dushkin Publishing Group, 1973)