Development of an environment for distributed colored timed Petri nets.

Han-Pang Huang, Ting-Cheng Shih

Browse the full SMC paper archive.