TY - GEN A1 - Assaf, George A1 - Heiner, Monika A1 - Liu, Fei T1 - Colouring Fuzziness for Systems Biology T2 - Theoretical Computer Science N2 - Snoopy is a powerful modelling and simulation tool for various types of Petri nets, which have been applied to a wide range of biochemical reaction networks. We present an enhanced version of Snoopy, now supporting coloured and uncoloured stochastic, continuous and hybrid Petri Nets with fuzzy kinetic parameters. Colour helps to cope with modelling challenges imposed by larger and more complex networks. Fuzzy parameters are specifically useful when kinetic parameter values can not be precisely measured or estimated. By running fuzzy simulation we obtain output bands of the variables of interest induced by the effect of the fuzzy kinetic parameters. Simulation is always done on the uncoloured level. For this purpose, coloured fuzzy Petri nets are automatically unfolded to their corresponding uncoloured counterparts. Combining the power of fuzzy kinetic parameters with the modelling convenience of coloured Petri nets provides a new quality in user support with sophisticated modelling and analysis features. KW - fuzzy logic KW - Fuzzy kinetic parameters KW - Coloured fuzzy continuous, stochastic and hybrid Petri nets KW - Modelling and simulation KW - Modelling uncertainty Y1 - 2021 UR - https://www.sciencedirect.com/science/article/abs/pii/S0304397521002152?via%3Dihub U6 - https://doi.org/10.1016/j.tcs.2021.04.011 SN - 1879-2294 SN - 0304-3975 VL - 875 SP - 52 EP - 64 ER -