How Might Petri Nets Enhance Your Systems Biology Toolkit
From MaRDI portal
Publication:3011879
DOI10.1007/978-3-642-21834-7_2zbMath1332.92021WikidataQ63241813 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 checking; synthetic biology; systems biology; biomolecular networks; biomodel engineering; stochastic and continuous Petri nets
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
92C42: Systems biology, networks
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
