Fernando Ramos Juan Frausto Solís Francisco Camargo-Santacruz Reuse of Colored Petri Nets Software Models. 145-152 2001 conf/seke/2001 SEKE db/conf/seke/seke2001.html#RamosSC01