Title: Colored Petri Nets for Modeling of Discrete Systems