An object-oriented Petri net modeling tool and abstraction mechanisms for cooperative systems. - Ana K. A. de Medeiros; Dalton Serey Guerrero; Jorge C. A. de Figueiredo; Angelo Perkusich (SMC, 1998)