Describir: Colored Petri Nets: A Graphical Language for Formal Modeling and Validation of Concurrent Systems.