Coloured fuzzy Petri nets for modelling and analysing membrane systems

Membrane systems are a very powerful computational modelling formalism inspired by the internal organisation of living cells. Modelling of membrane systems is challenged by composing many structurally similar components, which may result in very large models. Furthermore, some components may suffer from a lack of precise kinetic parameters. PPNC (coloured fuzzy Petri nets) combine coloured Petri nets with fuzzy kinetic parameters, and thus offer an approach to address these challenges. In this paper, we use PPNC to model and simulate membrane systems which are enriched by fuzzy kinetic parameters. We also introduce a methodology and workflow utilising PPNC for modelling and simulating general biological systems which have to cope with incomplete knowledge of their kinetic data.