1. Unfoldings — A Partial-Order Approach to Model Checking;Esparza,2008
2. K. Heljanko, Combining symbolic and partial-order methods for model-checking 1-safe Petri nets, Ph.D. Thesis, Helsinki University of Technology, 2002.
3. W. Vogler, A.L. Semenov, A. Yakovlev, Unfolding and finite prefix for nets with read arcs, in: Proc. of CONCUR’98, in: LNCS, vol. 1466, 1998, pp. 501–516.
4. G. Ristori, Modelling systems with shared resources via Petri nets, Ph.D. Thesis, Department of Computer Science, University of Pisa, 1994.
5. Contextual occurrence nets and concurrent constraint programming;Montanari,1994