PNSOFT: a menu-driven software package for Petri-net modeling and analysis. - Gurdeep S. Hura 001; M. A. Costarellam C. G. Buell; M. M. Cvetanovic (ICCL, 1988)