Extended Stochastic Petri Nets for Model-Based Design of Wetlab Experiments

DOI10.1007/978-3-642-04186-0_7zbMath1260.68268OpenAlexW1686099294WikidataQ63241834 ScholiaQ63241834MaRDI QIDQ3642953

David Gilbert, Sebastian Lehrack, Wolfgang Marwan, Monika Heiner

Publication date: 10 November 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-04186-0_7

Mathematics Subject Classification ID

Biochemistry, molecular biology (92C40) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Computational methods for problems pertaining to biology (92-08) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (8)

Modeling membrane systems using colored stochastic Petri nets ⋮ Hybrid representation and simulation of stiff biochemical networks ⋮ Petri-net-based 2D design of DNA walker circuits ⋮ Preface: Petri nets for systems and synthetic biology ⋮ How Might Petri Nets Enhance Your Systems Biology Toolkit ⋮ Preface: Petri nets for systems and synthetic biology ⋮ On temporal logic constraint solving for analyzing numerical data time series ⋮ Abstract interpretation and types for systems biology

Uses Software

• SNOOPY
• APMC
• INA

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Theoretical computer science. Petri nets.
• The temporal semantics of concurrent programs
• A logic for reasoning about time and reliability
• Stochastic Petri Nets
• Model-checking continuous-time Markov chains
• Verification, Model Checking, and Abstract Interpretation

This page was built for publication: Extended Stochastic Petri Nets for Model-Based Design of Wetlab Experiments