@incollection{mv01,
   author    = {Valero,V. and Bueno,A.},
   title     = {Modelado de sistemas concurrentes con redes de Petri},
   booktitle = {Sistemas Distribuidos: Modelos y Aplicaciones},
   address   = {Albacete(Spain)},
   pages     = {83--98},
   year      = {2001},
   month     = {June}
}