Fuzzy colored time Petri net and termination analysis for fuzzy Event-Condition-Action rules. - Xiaoming Wang 001; Lichen Zhang 001; Wenyang Dou; Xiaolin Hu 002 (Inf. Sci., 2013)