Buscemi, Maria Grazia and Sassone, Vladimiro  High-Level Petri Nets as Type Theories in the Join Calculus.   In:  Proceedings of Foundations of Software Science and Computation Structure (FoSSaCS ’01).   Lecture Notes in Computer Science, 2030 .  Springer, pp. 104-120.  ISBN 3-540-41864-4      (2001)