Reference and Value Semantics Are Equivalent for Ordinary Object Petri Nets

Michael Köhler, Heiko Rölke. Reference and Value Semantics Are Equivalent for Ordinary Object Petri Nets. In Gianfranco Ciardo, Philippe Darondeau, editors, Applications and Theory of Petri Nets 2005, 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005, Proceedings. Volume 3536 of Lecture Notes in Computer Science, pages 309-328, Springer, 2005. [doi]

Abstract

Abstract is missing.