The quantitative process algebra Bio-PEPA is a formal language for modelling biological systems at various level of abstraction. It allows for the specification of species and their interaction, supports compartments and events. Bio-PEPA models can be analysed using stochastic simulation, ordinary differential equations and model checking on continuous-time Markov chains.