Membrane Petri Nets Model Optimization using Methods of Functional Locations and Dynamic Priorities

Abstract

To simplify visual membrane Petri nets models and to minimize the computation time we propose two methods: a method of continuous functional locations and a method of dynamic priority functions for transitions involved in an structural conflict place transition systems. The method of functional locations allows a substantial reduction of the number of components of 3D Visual Membrane Petri Nets models. The method of dynamic marking-dependent priorities allows optimizing models that describe basic cellular functions (including degradation processes of proteins, enzymes, gene copies, etc.). As examples, a model of membrane oscillations and the model of SOS cellular response to environmental stimuli are optimized by using new proposed methods.