@inproceedings {Cam-EVI-01, title = {Evaluaci{\'o}n de Prestaciones de Sistemas Concurrentes Modelados con Redes de Petri}, year = {2001}, month = {7}, pages = {141-156}, publisher = {Departamento de Inform{\'a}tica}, organization = {Departamento de Inform{\'a}tica}, author = {J. Campos} }