Springer, Lecture Notes in Computer Science, p. 56-72, 2006
DOI: 10.1007/11905455_3
Full text: Download
Logical modelling and Petri nets constitute two complemen- tary approaches for the dynamical modelling of biological regulatory net- works. Leaning on a translation of logical models into standard Petri nets, we propose a formalisation of the notion of circuit functionality in the Petri net framework. This approach is illustrated with the modelling and analysis of a molecular regulatory network involved in the control of Th-lymphocyte differentiation.