Journal of Computer and System Sciences
Membrane Computing: An Introduction
Membrane Computing: An Introduction
Maude: specification and programming in rewriting logic
Theoretical Computer Science - Rewriting logic and its applications
Fundamenta Informaticae - Membrane computing
The maude LTL model checker and its implementation
SPIN'03 Proceedings of the 10th international conference on Model checking software
A rewriting logic framework for operational semantics of membrane systems
Theoretical Computer Science
Rewriting Logic Specification of Membrane Systems with Promoters and Inhibitors
Electronic Notes in Theoretical Computer Science (ENTCS)
Operational Semantics and Rewriting Logic in Membrane Computing
Electronic Notes in Theoretical Computer Science (ENTCS)
Membrane computing as a modeling framework: cellular systems case studies
SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology
On the decidability of model-checking for P systems
Journal of Automata, Languages and Combinatorics
A temporal logic for mutual mobile membranes with objects on surface
Computation, cooperation, and life
Towards probabilistic model checking on p systems using PRISM
WMC'06 Proceedings of the 7th international conference on Membrane Computing
On model-checking of p systems
UC'05 Proceedings of the 4th international conference on Unconventional Computation
Structural operational semantics of p systems
WMC'05 Proceedings of the 6th international conference on Membrane Computing
On p systems as a modelling tool for biological systems
WMC'05 Proceedings of the 6th international conference on Membrane Computing
Cellular meta-programming over membranes
UPP'04 Proceedings of the 2004 international conference on Unconventional Programming Paradigms
Formal verification and testing based on p systems
WMC'09 Proceedings of the 10th international conference on Membrane Computing
Formal verification of p systems with active membranes through model checking
CMC'11 Proceedings of the 12th international conference on Membrane Computing
| Hi-index | 0.00 |
This paper presents a natural algebraic specification for the P systems. The specification is executable in Maude, a software system supporting rewriting and equational logic. We define the P system maximal parallel evolution as a specific rewriting strategy in Maude. By extending the Maude rewriting semantics with this strategy, we provide an operational semantics of the P systems. We present few examples of specifying and executing simple P systems, describing how target indications, dissolving and priorities are handled. Moreover, the Maude system allows the verification of various properties of the P systems expressed as linear temporal logic formulas by using a model checker.