Colored Petri Nets for Modeling of Discrete Systems: A Practical Approach With GPenSIM