A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is
Analysing dynamics of large biological regulatory networks (BRNs) calls for innovative methods to cope with the state space explosion. Static analysis and abstract interpretation techniques seem promising approaches. In this paper, we address the Process Hitting framework, that has been shown of interest to model dynamics of BRNs with discrete values. We propose to take profit from the particular structures of Process Hitting to build efficient static analyses. We introduce a novel and originaldoi:10.1016/j.entcs.2011.04.004 fatcat:qdygw4gh65herhcth3dkxeno3y