Christoph Maier, Daniel Moldt. Object Coloured Petri Nets - A Formal Technique for Object Oriented Modeling. 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 406-427, Springer, 2001. [doi]
Abstract is missing.