  The complexity of biological systems, and the increasingly large amount of
associated experimental data, necessitates that we develop mathematical models
to further our understanding of these systems. As biological systems are
generally not well understood, most mathematical models of these systems are
based on experimental data, resulting in a seemingly heterogeneous collection
of models that ostensibly represent the same system. To understand the system
we therefore need to know how the different models are related, with a view to
obtaining a unified mathematical description. This goal is complicated by the
fact that distinct mathematical formalisms may be used to represent the same
system, making direct comparison of the models very difficult. In previous work
we developed an appropriate framework for model comparison where we represent
models as labelled simplicial complexes and compare them with two general
methodologies: comparison by distance or equivalence. In this article we
continue the development of our model comparison methodology in two directions.
First, we present a rigorous and automatable methodology for the core process
of comparison by equivalence, namely determining the vertices in a simplicial
representation, corresponding to model components, that are conceptually
related and the identification of these vertices via simplicial operations. Our
methodology is based on considerations of vertex symmetry in the simplicial
representation, for which we develop the required mathematical theory of group
actions on simplicial complexes. This methodology greatly simplifies and
expedites the process of determining model equivalence. Second, we provide an
alternative mathematical framework for our model-comparison methodology by
representing models as groups, which allows for the direct application of
group-theoretic techniques within our model-comparison methodology.
