Model Reduction of Colored Petri Nets Based on Unrelated Transitions.

Zhen Gao, Tao Sun

Browse the full TrustCom paper archive.