Models and implementations for simulating P systems

Romanian Academy Grant no. 83/2005
Partners: IeAT (leader), IIT-Academy Iasi

The implementation plan has the following objectives: * description of a model for the simulation of P systems * design of a P system simulator which is fast, extensible, web-accessible * adapt the P system specification to web standards for biological systems * temporal and compositional verification of the membrane systems * development of P systems for modeling a arithmetical and logical bio-unit.