From logical regulatory graphs to standard petri nets: dynamical roles and functionality of feedback circuits

Authors:
Elisabeth Remy;Paul Ruet;Luis Mendoza;Denis Thieffry;Claudine Chaouiya
Affiliations:
IML, Campus de Luminy, Marseille Cedex 9, France;IML, Campus de Luminy, Marseille Cedex 9, France;Serono Pharmacological Research Institute, Geneva, Switzerland;LGPD, Marseille Cedex 9, France;LGPD, Marseille Cedex 9, France
Venue:
Transactions on Computational Systems Biology VII
Year:
2006

Citing 1
Cited 5

Graph-Based Algorithms for Boolean Function Manipulation

IEEE Transactions on Computers

Petri net modelling of biological regulatory networks

Journal of Discrete Algorithms
Decision diagrams for the representation and analysis of logical models of genetic networks

CMSB'07 Proceedings of the 2007 international conference on Computational methods in systems biology
On differentiation and homeostatic behaviours of Boolean dynamical systems

Transactions on computational systems biology VIII
Petri net representation of multi-valued logical regulatory graphs

Natural Computing: an international journal
On differentiation and homeostatic behaviours of boolean dynamical systems

Transactions on Computational Systems Biology VII

Quantified Score

Hi-index	0.00

Visualization

Abstract

Logical modelling and Petri nets constitute two complementary approaches for the dynamical modelling of biological regulatory networks. 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.