Methodology for Modeling Interactions in Cooperative Information Systems Using Colored Petri Nets. - Adriano Jose Pinheiro Lemos; Angelo Perkusich (SEKE, 2001)