Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
429026 | Information Processing Letters | 2012 | 6 Pages |
Abstract
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.
Keywords
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Bogdan Aman, Gabriel Ciobanu,