Return to Article Details HTSN: a complex workflow model based on colored Petri net Download Download PDF