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
| Hi-index | 0.00 |
P systems, inspired by biological membranes, were introduced in 1998 as a distributed and parallel computable model. The inherent mobility in P systems makes them promising for modelling transactions in mobile environments. Based on general P systems which are formalized by dynamic Colored Petri Nets (CPN), we propose a preliminary theoretical model called P system based Transaction Model (PTM). The operational semantics of object rules in PTM is delimited by CPN, while the semantics of membrane rules which change the structure of PTM is presented by P systems. The movement of one transaction context is simulated by the movement of one Transaction Membrane in PTM. This model is suitable for mobile transaction processing, and we plan to deal with transactions of Web Services and Grid Services in a near future.