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

DOI10.3233/FI-2018-1681zbMATH Open1395.92068WikidataQ112317128 ScholiaQ112317128MaRDI QIDQ3174742FDOQ3174742

Authors: Marek P. Grabowski, Grzegorz Bokota, Jacek Sroka 

Publication date: 18 July 2018

Published in: Fundamenta Informaticae (Search for Journal in Brave)

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

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)

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)