A. Kiehn
-
Petri net reactive modules
Theoretical Computer Science
A petri net translation of π-calculus terms
ICTAC'06 Proceedings of the Third international conference on Theoretical Aspects of Computing