@TechReport{scpnets, author = {Antonio Camurri and Alessandro Coglio}, title = {{Simple Colored Petri Nets}}, institution = {Dept.\ of Informatics, Systems, and Telecommunications (DIST), University of Genoa, Italy}, year = 1997, type = {Technical Report}, month = nov }