Properties of enhanced mobile membranes via coloured Petri nets

Enhanced mobile membranes represent a rule-based formalism involving parallelism and mobility dependent on available resources. A translation of this formalism into coloured Petri nets is provided in order to analyse some important properties (reachability, boundedness, liveness, fairness) in enhanced mobile membranes.

► We consider a rule-based formalism with mobility: enhanced mobile membranes (EMM).
► A translation of EMM into coloured Petri nets (CPN) is provided.
► In EMM some important properties (e.g., reachability) are studied using CPN Tools.