Marco Antoniotti, Carla Piazza, Alberto Policriti, Marta Simeoni, Bud Mishra. Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice. Theoretical Computer Science, 325(1):45-67, 2004. [doi]
Abstract is missing.