J. Meseguer, U. Montanari, and V. Sassone. Application and Theory of Petri Nets, volume 815 of Lecture Notes in Computer Science, page 16-38. Springer, (1994)
G. Ferrari, U. Montanari, and E. Tuosto. 10th Anniversary Colloquium of UNU/IIST, volume 2757 of Lecture Notes in Computer Science, page 242-266. Springer, (2002)
A. Corradini, G. Ferrari, and U. Montanari. Semantics of Systems of Concurrent Processes, volume 469 of Lecture Notes in Computer Science, page 185-222. Springer, (1990)