Chinese Acad Sci, Comp Sci Lab, Inst Software, Beijing, Peoples R China. Chinese Acad Sci, Acad Math & Syst Sci, Beijing, Peoples R China. City Univ Hong Kong, Dept Comp Sci, Hong Kong, Hong Kong, Peoples R China.
Jiao L,Cheung TY,Lu WM. handling synchronization problem in petri net-based system design by property-preserving transition-reduction[J]. COMPUTER JOURNAL,2005-01-01,48(6):692-701.