IDD-based model validation of biochemical networks
DOI10.1016/J.TCS.2010.06.030zbMATH Open1216.68197OpenAlexW2166483698MaRDI QIDQ548487FDOQ548487
Authors: Martin Schwarick, Alexej Tovchigrechko 
Publication date: 28 June 2011
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2010.06.030
Recommendations
- Time Petri nets for modelling and analysis of biochemical networks
- Applications and Theory of Petri Nets 2004
- From Petri Nets to Differential Equations – An Integrative Approach for Biochemical Network Analysis
- Quantitative evaluation of time-dependent Petri nets and applications to biochemical networks
- Executable Petri net models for the analysis of metabolic pathways
Systems biology, networks (92C42) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Graph-Based Algorithms for Boolean Function Manipulation
- Depth-First Search and Linear Graph Algorithms
- Symbolic model checking: \(10^{20}\) states and beyond
- Title not available (Why is that?)
- Automatic verification of finite-state concurrent systems using temporal logic specifications
- From Petri Nets to Differential Equations – An Integrative Approach for Biochemical Network Analysis
- Title not available (Why is that?)
- Title not available (Why is that?)
- Petri nets for modelling metabolic pathways: a survey
- Title not available (Why is that?)
- Theoretical computer science. Petri nets.
Cited In (2)
Uses Software
This page was built for publication: IDD-based model validation of biochemical networks
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q548487)
