The Individual and Collective Token Interpretations of Petri Nets

Rob J. van Glabbeek. The Individual and Collective Token Interpretations of Petri Nets. In Martín Abadi, Luca de Alfaro, editors, CONCUR 2005 - Concurrency Theory, 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings. Volume 3653 of Lecture Notes in Computer Science, pages 323-337, Springer, 2005. [doi]

Abstract

Abstract is missing.