A Petri-net-based Modeling Assisted Software Environment (MASE) tool. - Guat Yew Tan; Gurdeep S. Hura 001 (COMPSAC, 1994)