Using Petri Nets for Specifying Active Objects and Generative Communication

Tom Holvoet, Pierre Verbaeten. Using Petri Nets for Specifying Active Objects and Generative Communication. 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 38-72, Springer, 2001. [doi]

Abstract

Abstract is missing.