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.