Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice
scientific article; zbMATH DE number 2110964