13th International Conference on Membrane Computing - MTA Sztaki

Using a kernel P system to solve the 3-Col problem
/* Array of instances for membranes of type Compartment1 */
Compartment1 c1Cells[ ];
/* Array of instances for membranes of type Compartment2 */
Compartment2 c2Cells[ ];
int stepCount = 0;
while(environment is empty AND stepCount < MaxNumberOfSteps) {
foreach(membraneInstance m in c1Cells) {
/* Execute process1 which contains all rules
defined for a membrane of type "Compartment1"
*/
run process1(m);
}
foreach(membraneInstance m in c2Cells) {
/* Execute process2 which contains all rules
defined for a membrane of type "Compartment2"
*/
run process2(m);
}
}
/* Wait until all processes complete
i.e. when all applicable rules were executed.
*/
wait();
/* Computational step complete */
stepCount++;
Fig. 1. Pseudo code illustrating the kP system model implementation into Promela
253