Although models are built on the basis of some observations of reality, the
concepts that derive theoretically from their definitions as well as from their
characteristics and properties are not necessarily direct consequences of these
initial observations. Indeed, many of them rather follow from chains of
theoretical inferences that are only based on the precise model definitions and
rely strongly, in addition, on some consequential working hypotheses.
In this report, we present a formal approach that addresses the problem of
emergence of phase transitions in stochastic and attractive nonlinear threshold
Boolean automata networks. Nonlinear networks considered are informally defined
on the basis of classical stochastic threshold Boolean automata networks in
which specific interaction potentials of neighbourhood coalition are taken into
account. More precisely, specific nonlinear terms compose local transition
functions that define locally the dynamics of such networks.