Development of an environment for distributed colored timed Petri nets. - Han-Pang Huang; Ting-Cheng Shih (SMC, 1998)