Model checking in object-oriented Petri nets.

Cssio L. Rodrigues, Dalton Serey Guerrero, Jorge C. A. de Figueiredo

Browse the full SMC paper archive.