@article{DBLP:journals/entcs/BernotCCDMR07,
  author    = {Gilles Bernot and
               Franck Cassez and
               Jean{-}Paul Comet and
               Franck Delaplace and
               C{\'{e}}line M{\"{u}}ller and
               {Olivier F.} Roux and {Olivier H.} Roux},
  title     = {Semantics of Biological Regulatory Networks},
  journal   = {Electr. Notes Theor. Comput. Sci. (Proceedings of FORMATS 2003)},
  volume    = {180},
  number    = {3},
  pages     = {3--14},
  year      = {2007},
  url       = {http://dx.doi.org/10.1016/j.entcs.2004.01.038},
  doi       = {10.1016/j.entcs.2004.01.038},
  keywords = {bioinformatics, regulatory networks, hybrid systems},
  abstract ={The aim of the paper is to revisit the model of Biological Regulatory Networks (BRN) which was proposed by René Thomas to model the interactions between a set of genes. We give a formal semantics for BRN in terms of transition systems which formalizes the evolution rules given by René Thomas. Then we show how to use this model to find interesting properties of a BRN like the set of stable states, cycles etc using tools for analyzing transition systems.},
          Type = {B - International Conferences},

}

{"_id":"ntfRn8jhYCRttBWZt","bibbaseid":"bernot-cassez-comet-delaplace-mller-roux-roux-semanticsofbiologicalregulatorynetworks-2007","author_short":["Bernot, G.","Cassez, F.","Comet, J.","Delaplace, F.","Müller, C.","Roux, O.","Roux, O."],"bibdata":{"bibtype":"article","type":"B - International Conferences","author":[{"firstnames":["Gilles"],"propositions":[],"lastnames":["Bernot"],"suffixes":[]},{"firstnames":["Franck"],"propositions":[],"lastnames":["Cassez"],"suffixes":[]},{"firstnames":["Jean-Paul"],"propositions":[],"lastnames":["Comet"],"suffixes":[]},{"firstnames":["Franck"],"propositions":[],"lastnames":["Delaplace"],"suffixes":[]},{"firstnames":["Céline"],"propositions":[],"lastnames":["Müller"],"suffixes":[]},{"firstnames":["Olivier F."],"propositions":[],"lastnames":["Roux"],"suffixes":[]},{"firstnames":["Olivier H."],"propositions":[],"lastnames":["Roux"],"suffixes":[]}],"title":"Semantics of Biological Regulatory Networks","journal":"Electr. Notes Theor. Comput. Sci. (Proceedings of FORMATS 2003)","volume":"180","number":"3","pages":"3–14","year":"2007","url":"http://dx.doi.org/10.1016/j.entcs.2004.01.038","doi":"10.1016/j.entcs.2004.01.038","keywords":"bioinformatics, regulatory networks, hybrid systems","abstract":"The aim of the paper is to revisit the model of Biological Regulatory Networks (BRN) which was proposed by René Thomas to model the interactions between a set of genes. We give a formal semantics for BRN in terms of transition systems which formalizes the evolution rules given by René Thomas. Then we show how to use this model to find interesting properties of a BRN like the set of stable states, cycles etc using tools for analyzing transition systems.","bibtex":"@article{DBLP:journals/entcs/BernotCCDMR07,\n author = {Gilles Bernot and\n Franck Cassez and\n Jean{-}Paul Comet and\n Franck Delaplace and\n C{\\'{e}}line M{\\\"{u}}ller and\n {Olivier F.} Roux and {Olivier H.} Roux},\n title = {Semantics of Biological Regulatory Networks},\n journal = {Electr. Notes Theor. Comput. Sci. (Proceedings of FORMATS 2003)},\n volume = {180},\n number = {3},\n pages = {3--14},\n year = {2007},\n url = {http://dx.doi.org/10.1016/j.entcs.2004.01.038},\n doi = {10.1016/j.entcs.2004.01.038},\n keywords = {bioinformatics, regulatory networks, hybrid systems},\n abstract ={The aim of the paper is to revisit the model of Biological Regulatory Networks (BRN) which was proposed by René Thomas to model the interactions between a set of genes. We give a formal semantics for BRN in terms of transition systems which formalizes the evolution rules given by René Thomas. Then we show how to use this model to find interesting properties of a BRN like the set of stable states, cycles etc using tools for analyzing transition systems.},\n Type = {B - International Conferences},\n\n}\n\n","author_short":["Bernot, G.","Cassez, F.","Comet, J.","Delaplace, F.","Müller, C.","Roux, O.","Roux, O."],"key":"DBLP:journals/entcs/BernotCCDMR07","id":"DBLP:journals/entcs/BernotCCDMR07","bibbaseid":"bernot-cassez-comet-delaplace-mller-roux-roux-semanticsofbiologicalregulatorynetworks-2007","role":"author","urls":{"Paper":"http://dx.doi.org/10.1016/j.entcs.2004.01.038"},"keyword":["bioinformatics","regulatory networks","hybrid systems"],"metadata":{"authorlinks":{}},"downloads":1},"bibtype":"article","biburl":"http://science.mq.edu.au/~fcassez/bib/franck-bib.bib","dataSources":["8742EsvjQfyP2fYBW","yYF8uwWqay28JyxZC","qbqYFWskmoonRB43F"],"keywords":["bioinformatics","regulatory networks","hybrid systems"],"search_terms":["semantics","biological","regulatory","networks","bernot","cassez","comet","delaplace","müller","roux","roux"],"title":"Semantics of Biological Regulatory Networks","year":2007,"downloads":1}