Backward Reachability Analysis of Colored Petri Nets