Modeling Cellular Behavior with Hybrid Automata: Bisimulation and Collapsing