Verification of Dynamic Behaviour in Qualitative Molecular Networks Describing Gene Regulation, Signalling and Whole-cell Metabolism

DOI10.3233/FI-2018-1681zbMath1395.92068WikidataQ112317128 ScholiaQ112317128MaRDI QIDQ3174742

Grzegorz Bokota, Jacek Sroka, M. P. Grabowski

Publication date: 18 July 2018

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

zbMATH Keywords

random walkmetabolismPetri netgene regulationsignallingqualitative molecular networks

Mathematics Subject Classification ID

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

This page was built for publication: Verification of Dynamic Behaviour in Qualitative Molecular Networks Describing Gene Regulation, Signalling and Whole-cell Metabolism