Petri Nets as Semantic Domain for Diagram Notations

Luciano Baresi, Mauro Pezzè. Petri Nets as Semantic Domain for Diagram Notations. Electronic Notes in Theoretical Computer Science, 127(2):29-44, 2005. [doi]

Abstract

Abstract is missing.