Implementation
We currently have two implementation versions of the operational semantics, accurate and faithful:
-
The accurate implementation of the operational semantics is based on two coloring operators:
bluethat traverses in a top-down manner a P system configuration, firing the maximal parallel rewriting process in every membrane, andgreenthat executes in a bottom-up manner the communication between membranes as well as the dissolving.
After running Maude 2.1 (not Maude 2.1.1), and loading Full Maude 2.1 (not Full Maude 2.1.1), you have to load the module PSCONFIGURATION which contains the syntax for describing P systems, and then the module PSYSTEM which gives the implementation of the operational semantics. Then you load a module describing a particular P system, i.e. a module containing equations for the objects and the rules of each membrane, and the structure of the P system (see examples).
The faithful implementation completely separates the three stages during an evolution step: the maximal parallel rewriting, the communication, and the dissolving. For this implementation we defined three coloring operators for traversing top-down the tree (
bluefor maximal parallel rewriting,redfor communication, andpinkfor dissolving), and one coloring operatorgreenthat performs a bottom-up traversal.
After running Maude 2.1 or Maude 2.2, you need to load in order the modules PSCONFIGURATION, PSYSTEM, and an example of P system.