%0 Book %D 1985 %T Modelling and Validation of Complex Systems modeled by Colored Petri Nets %A J. Martínez %A M. Silva %E G. Rozenberg %I Springer-Verlag %P 15-31 %V 188