IDD-based model validation of biochemical networks

DOI10.1016/j.tcs.2010.06.030zbMath1216.68197OpenAlexW2166483698MaRDI QIDQ548487

Alexej Tovchigrechko, Martin Schwarick

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

Petri netsmodel checkingbiochemical networksCTCSLinterval decision diagrams

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Temporal logic (03B44) Systems biology, networks (92C42)

Uses Software

• DSSZ-MC
• SMART_
• SNOOPY
• ZBDD

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Petri nets for modelling metabolic pathways: a survey
• Theoretical computer science. Petri nets.
• Symbolic model checking: \(10^{20}\) states and beyond
• From Petri Nets to Differential Equations – An Integrative Approach for Biochemical Network Analysis
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• Graph-Based Algorithms for Boolean Function Manipulation
• Depth-First Search and Linear Graph Algorithms