Bisimulation; Hybrid Automata; qualitative analysis; Biochemical models; Collapsing

We propose the use of hybrid automata and we discuss the use of the notions of bisimulation and collapsing for a “qualitative” analysis of the temporal evolution of biological systems. Many biological systems can be modeled using systems of ordinary …