Equivalences in Multi-valued Asynchronous Models of Regulatory Networks

Abstract

Multi-valued network models can be described by their topology and a set of parameters capturing the effects of the regulators for each component. Dynamics can then be derived and represented as state transition systems. Different network models may lead to the same transition system, meaning dynamics analysis of a representative model covers a larger class of models. While rather clear in the Boolean case, the properties contributing to this effect become more involved for multi-valued models. We analyze these properties and present a mathematical description of the resulting model equivalence classes.