@incollection{mv01,
   author    = {Macia,M. and Valero,V.},
   title     = {Pep. Una herramienta para traducir y analizar especificaciones de PBC con Redes de Petri},
   booktitle = {Sistemas Distribuidos: Modelos y Aplicaciones},
   address   = {Albacete(Spain)},
   pages     = {187--202},
   year      = {2001},
   month     = {June}
}