Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

Large-Scale Networks in Engineering and Life SciencesA Petri-Net-Based Framework for Biomodel Engineering

Large-Scale Networks in Engineering and Life Sciences: A Petri-Net-Based Framework for Biomodel... [Petri nets provide a unifying and versatile framework for the synthesis and engineering of computational models of biochemical reaction networks and of gene regulatory networks. Starting with the basic definitions, we provide an introduction into the different classes of Petri nets that reinterpret a Petri net graph as a qualitative, stochastic, continuous, or hybrid model. Static and dynamic analysis in addition to simulative model checking provide a rich choice of methods for the analysis of the structure and dynamic behavior of Petri net models. Coloring of Petri nets of all classes is powerful for multiscale modeling and for the representation of location and space in reaction networks since it combines the concept of Petri nets with the computational mightiness of a programming language. In the context of the Petri net framework, we provide two most recently developed approaches to biomodel engineering, the database-assisted automatic composition and modification of Petri nets with the help of reusable, metadata-containing modules, and the automatic reconstruction of networks based on time series data sets. With all these features the framework provides multiple options for biomodel engineering in the context of systems and synthetic biology.] http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png

Large-Scale Networks in Engineering and Life SciencesA Petri-Net-Based Framework for Biomodel Engineering

Part of the Modeling and Simulation in Science, Engineering and Technology Book Series
Editors: Benner, Peter; Findeisen, Rolf; Flockerzi, Dietrich; Reichl, Udo; Sundmacher, Kai
Blätke, Mary Ann; Rohr, Christian; Heiner, Monika; Marwan, Wolfgang
Large-Scale Networks in Engineering and Life Sciences — Jul 30, 2014
Download PDF
49 pages

Loading next page...
 
/lp/springer-journals/large-scale-networks-in-engineering-and-life-sciences-a-petri-net-i1j0DjLDmo
Publisher
Springer International Publishing
Copyright
© Springer International Publishing Switzerland 2014
ISBN
978-3-319-08436-7
Pages
317 –366
DOI
10.1007/978-3-319-08437-4_6
Publisher site
See Chapter on Publisher Site

Abstract

[Petri nets provide a unifying and versatile framework for the synthesis and engineering of computational models of biochemical reaction networks and of gene regulatory networks. Starting with the basic definitions, we provide an introduction into the different classes of Petri nets that reinterpret a Petri net graph as a qualitative, stochastic, continuous, or hybrid model. Static and dynamic analysis in addition to simulative model checking provide a rich choice of methods for the analysis of the structure and dynamic behavior of Petri net models. Coloring of Petri nets of all classes is powerful for multiscale modeling and for the representation of location and space in reaction networks since it combines the concept of Petri nets with the computational mightiness of a programming language. In the context of the Petri net framework, we provide two most recently developed approaches to biomodel engineering, the database-assisted automatic composition and modification of Petri nets with the help of reusable, metadata-containing modules, and the automatic reconstruction of networks based on time series data sets. With all these features the framework provides multiple options for biomodel engineering in the context of systems and synthetic biology.]

Published: Jul 30, 2014

Keywords: Automatic network reconstruction; Biomodel engineering; Dynamic systems modelling; Modular modelling; Petri nets; Molecular regulatory networks; Reverse engineering

There are no references for this article.