%0 Book Section %B High-Level Petri Nets. Theory and Applications %D 1991 %T Modeling, Validation and Software Implementation of Production Systems Using High Level Petri Nets %A J. Martínez %A P. Muro %A M. Silva %E K. Jensen %E G. Rozenberg %C Berlin %I Springer-Verlag %P 618-623