Model checking in object-oriented Petri nets

Cássio L. Rodrigues, Dalton Serey Guerrero, Jorge C. A. de Figueiredo. Model checking in object-oriented Petri nets. In Proceedings of the IEEE International Conference on Systems, Man & Cybernetics: The Hague, Netherlands, 10-13 October 2004. pages 4977-4982, IEEE, 2004. [doi]

Abstract

Abstract is missing.