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

Browse the full SMC paper archive.