Leandro Dias da Silva Angelo Perkusich Composition of software artifacts modelled using Colored Petri nets. 171-189 2005 56 Sci. Comput. Program. 1-2 http://dx.doi.org/10.1016/j.scico.2004.11.011 db/journals/scp/scp56.html#SilvaP05