How Might Petri Nets Enhance Your Systems Biology Toolkit
From MaRDI portal
Publication:3011879
DOI10.1007/978-3-642-21834-7_2zbMath1332.92021OpenAlexW14739406WikidataQ63241813 ScholiaQ63241813MaRDI QIDQ3011879
Publication date: 29 June 2011
Published in: Applications and Theory of Petri Nets (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-21834-7_2
model checkingsynthetic biologysystems biologybiomolecular networksbiomodel engineeringstochastic and continuous Petri nets
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Systems biology, networks (92C42)
Related Items
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Petri nets as a framework for the reconstruction and analysis of signal transduction pathways and regulatory networks
- The combinatorics of modeling and analyzing biological systems
- A Petri net representation of Bayesian message flows: importance of Bayesian networks for biological applications
- Error-correcting Petri nets
- Boundedness analysis for open chemical reaction networks with mass-action kinetics
- Petri nets for modelling metabolic pathways: a survey
- Foundations of systems biology. Using cell illustrator and pathway databases. With CD-ROM.
- The dynamics of conjunctive and disjunctive Boolean network models
- Petri net modelling of biological regulatory networks
- Quantitative evaluation of time-dependent Petri nets and applications to biochemical networks
- Stochastic Petri net models of \(\text{Ca}^{2+}\) signaling complexes and their analysis
- Petri net models for the semi-automatic construction of large scale biological networks
- A Petri net approach to the study of persistence in chemical reaction networks
- Biomodel Engineering – From Structure to Behavior
- From Petri Nets to Differential Equations – An Integrative Approach for Biochemical Network Analysis
- Extended Stochastic Petri Nets for Model-Based Design of Wetlab Experiments
- Applications and Theory of Petri Nets 2004
- Model-checking continuous-time Markov chains
