Adriano Jose Pinheiro Lemos, Angelo Perkusich: Methodology for Modeling Interactions in Cooperative Information Systems Using Colored Petri Nets. SEKE 2001: 299-306