1. Reisig, W.: Understanding Petri Nets: Modeling Techniques, Analysis Methods, Case Studies. Springer-Verlag, Berlin Heidelberg (2013)
2. Wu, Z.H.: Introduction to Petri Nets. China Machine Press, Beijing (2006) (in Chinese)
3. Esparza, J., Heljanko, K.: Unfoldings: A Partial-Order Approach to Model Checking. Springer-Verlag, Berlin Heidelberg (2008)
4. Dijkstra, E.W.: Hierarchical ordering of sequential processes. Acta Informatica 1: 115–138 (1972)
5. Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall, Englewood Cliffs (2015)