Title
Reduction of Qualitative Models of Biological Networks for Transient Dynamics Analysis.
Abstract
Qualitative models of dynamics of signalling pathways and gene regulatory networks allow for the capturing of temporal properties of biological networks while requiring few parameters. However, these discrete models typically suffer from the so-called state space explosion problem which makes the formal assessment of their potential behaviors very challenging. In this paper, we describe a method t...
Year
DOI
Venue
2018
10.1109/TCBB.2017.2749225
IEEE/ACM Transactions on Computational Biology and Bioinformatics
Keywords
Field
DocType
Automata,Biological system modeling,Computational modeling,Petri nets,Analytical models,Biological information theory
Asynchronous communication,Petri net,Biological network,Computer science,Theoretical computer science,Reachability,Boolean algebra,Artificial intelligence,Gene regulatory network,State space,Machine learning,Scalability
Journal
Volume
Issue
ISSN
15
4
1545-5963
Citations 
PageRank 
References 
3
0.48
0
Authors
1
Name
Order
Citations
PageRank
Loïc Paulevé120418.68