@techreport {C-RR-00-00, title = {Petri Nets}, year = {2000}, month = {2}, author = {J. Campos} }