The Consistent Use of Names and Polymorphism in the Definition of Object Petri Nets

Charles Lakos. The Consistent Use of Names and Polymorphism in the Definition of Object Petri Nets. In Jonathan Billington, Wolfgang Reisig, editors, Application and Theory of Petri Nets 1996, 17th International Conference, Osaka, Japan, June 24-28, 1996, Proceedings. Volume 1091 of Lecture Notes in Computer Science, pages 380-399, Springer, 1996.

Abstract

Abstract is missing.