L. Paulevé, M. Magnin, and O. Roux, Static analysis of Biological Regulatory Networks dynamics using abstract interpretation, Mathematical Structures in Computer Science, vol.131, issue.04, pp.651-685, 2012.
DOI : 10.1007/s11538-008-9304-7

W. Vogler, A. Semenov, and A. Yakovlev, Unfolding and finite prefix for nets with read arcs, CONCUR'98 Concurrency Theory, pp.501-516, 1998.
DOI : 10.1007/BFb0055644