@book {RP-85-07, title = {Modelling and Validation of Complex Systems modeled by Colored Petri Nets}, volume = {188}, year = {1985}, pages = {15-31}, publisher = {Springer-Verlag}, organization = {Springer-Verlag}, author = {J. Mart{\'\i}nez and M. Silva}, editor = {G. Rozenberg} }