Efficient Handling of Large Signalling-Regulatory Networks by Focusing on Their Core Control

摘要: Considering the logical (Boolean or multi-valued) asynchronous framework, we delineate a reduction strategy for large signalling and regulatory networks. Consequently, focusing on core network that drives whole dynamics, can check which attractors are reachable from given initial conditions, under fixed varying environmental conditions. More specifically, dynamics of models represented by (asynchronous) state transition graphs grow exponentially with number model components. We introduce adequate methods (preserving reachability attractors) proceed model-checking approaches. Input nodes (that generally represent receptors) output constitute readouts behaviours) each specifically processed to reduce space. The proposed approach is made available within GINsim, our software dedicated definition analysis models. new GINsim functionalities consist in proper components, as well corresponding symbolic encoding NuSMV checker. This also includes over input components (transferring their values states transitions labels). Finally, demonstrate interest through application published scale pathway involved T cell activation.