Marco Antoniotti Carla Piazza Alberto Policriti Marta Simeoni Bud Mishra Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice. 45-67 2004 325 Theor. Comput. Sci. 1 http://dx.doi.org/10.1016/j.tcs.2004.03.064 db/journals/tcs/tcs325.html#AntoniottiPPSM04