Reachability Analysis of Variants of Communication-Free Petri Nets. - Chien-Liang Chen; Suey Wang; Hsu-Chun Yen (IEICE Trans. Inf. Syst., 2009)