Coloured hybrid Petri nets for systems biology

Abstract. Coloured Petri nets are imperative for studying bigger bio-logical models, particularly, those which expose repetition of components. Such models can be easily scaled by minor changes of a few parame-ters. Similarly, studying certain biological phenomena necessitates the existence of discrete and continuous variables as well as continuous and stochastic processes in one and the same model. Thus, hybrid modelling and simulation is indispensable to deal with these challenges. In this pa-per we introduce a generic Petri net class, Coloured Generalised Hybrid Petri Nets (GHPN C) by combining coloured Petri nets and Generalised Hybrid Petri Nets (GHPN), which integrates discrete and continuous places as well as stochastic and deterministic transitions on the coloured level. Moreover, we present a case study which illustrates a possible and typical application where such a Petri net class is highly required