D. Barak, D. Harel, and R. Marelly. Lectures on Concurrency and Petri Nets, volume 3098 of Lecture Notes in Computer Science, page 66-86. Springer, (2003)
D. Harel, A. Kantor, and S. Maoz. Concurrency, Compositionality, and Correctness, volume 5930 of Lecture Notes in Computer Science, page 207-220. Springer, (2010)