Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Application of formal methods to biological regulatory networks: extending Thomas’ asynchronous logical approach with temporal logic
Ist Teil von
Journal of theoretical biology, 2004-08, Vol.229 (3), p.339-347
Ort / Verlag
England: Elsevier Ltd
Erscheinungsjahr
2004
Quelle
MEDLINE
Beschreibungen/Notizen
Based on the discrete definition of biological regulatory networks developed by René Thomas, we provide a computer science formal approach to treat temporal properties of biological regulatory networks, expressed in computational tree logic. It is then possible to build all the models satisfying a set of given temporal properties. Our approach is illustrated with the mucus production in
Pseudomonas aeruginosa. This application of formal methods from computer science to biological regulatory networks should open the way to many other fruitful applications.