O. Biberstein, Didier Buchs, Nicolas Guelfi. Object-Oriented Nets with Algebraic Specifications: The CO-OPN/2 Formalism. In Gul Agha, Fiorella de Cindio, Grzegorz Rozenberg, editors, Concurrent Object-Oriented Programming and Petri Nets, Advances in Petri Nets. Volume 2001 of Lecture Notes in Computer Science, pages 73-130, Springer, 2001. [doi]
Abstract is missing.