%0 Book %D 1991 %T Modelling, validation and software implementation of production systems using high-level Petri nets %A P. Muro %A M. Silva %E K. Jensen %E G. Rozenberg %I Springer-Verlag %P 618-623