Journal of Computer and System Sciences
Automata, Languages, and Machines
Automata, Languages, and Machines
Membrane Computing: An Introduction
Membrane Computing: An Introduction
Formal Software Analysis Emerging Trends in Software Model Checking
FOSE '07 2007 Future of Software Engineering
Formal Verification of Generalised State Machines
PCI '08 Proceedings of the 2008 Panhellenic Conference on Informatics
OPERASCC: an instance of a formal framework for MAS modeling based on population P systems
WMC'07 Proceedings of the 8th international conference on Membrane computing
Synchrony and asynchrony in membrane systems
WMC'06 Proceedings of the 7th international conference on Membrane Computing
WMC'04 Proceedings of the 5th international conference on Membrane Computing
Formal modelling of agents acting under artificial emotions
Proceedings of the Fifth Balkan Conference in Informatics
| Hi-index | 0.00 |
Tissue P systems (tPS) represent a class of P systems in which cells are arranged in a graph rather than a hierarchical structure. On the other hand, communicating X-machines (XMs) are state-based machines, extended with a memory structure and transition functions instead of simple inputs, which communicate via message passing. One could use communicating XMs to create models built out of components in a rather intuitive way. There are investigations showing how various classes of P systems can be modelled as communicating XMs. In this paper, we define a set of principles to transform communicating XMs into tPS. We describe the rules that govern such transformations, present an example to demonstrate the feasibility of this approach and discuss ways to extend it to more general models, such as population P systems, which involve dynamic structures.