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
Unfolding and finite prefix for nets with read arcs, CONCUR'98 Concurrency Theory, pp.501-516, 1998. ,
DOI : 10.1007/BFb0055644