Verification of dynamic behaviour in qualitative molecular networks describing gene regulation, signalling and whole-cell metabolism

DOI10.3233/FI-2018-1681MaRDI QIDQ3174742zbMATH OpenWikidataFDO

Authors Marek P. Grabowski, Grzegorz Bokota, Jacek Sroka

Publication date 18 July 2018

Published in Fundamenta Informaticae (Search for Journal in Brave)

zbMATH Keywords

random walkPetri netmetabolismgene regulationsignallingqualitative molecular networks

Mathematics Subject Classification ID

Linear programming (90C05) Biochemistry, molecular biology (92C40) Systems biology, networks (92C42) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Applications and Theory of Petri Nets 2004
• Reduction techniques for network validation in systems biology
• Executable Petri net models for the analysis of metabolic pathways
• Time Petri nets for modelling and analysis of biochemical networks
• On Timed Models of Gene Networks

Cited in

(1)

• Query-based verification of qualitative trends and oscillations in biochemical systems

This page was built for publication: Verification of dynamic behaviour in qualitative molecular networks describing gene regulation, signalling and whole-cell metabolism

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3174742)