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

