IDD-based model validation of biochemical networks

DOI10.1016/J.TCS.2010.06.030MaRDI QIDQ548487zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

model checkingPetri netsbiochemical networksCTCSLinterval decision diagrams

Mathematics Subject Classification ID

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)

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

Cites work

• scientific article; zbMATH DE number 1670788 (Why is no real title available?)
• scientific article; zbMATH DE number 2088658 (Why is no real title available?)
• scientific article; zbMATH DE number 729460 (Why is no real title available?)
• scientific article; zbMATH DE number 1950554 (Why is no real title available?)
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• Depth-First Search and Linear Graph Algorithms
• From Petri Nets to Differential Equations – An Integrative Approach for Biochemical Network Analysis
• Graph-Based Algorithms for Boolean Function Manipulation
• Petri nets for modelling metabolic pathways: a survey
• Symbolic model checking: \(10^{20}\) states and beyond
• Theoretical computer science. Petri nets.

Cited in

(2)

• From Petri Nets to Differential Equations – An Integrative Approach for Biochemical Network Analysis
• Time Petri nets for modelling and analysis of biochemical networks

Describes a project that uses

Uses Software

• DSSZ-MC
• SMART_
• SNOOPY
• ZBDD

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)