In: Proceedings of The Fourth International Conference on Computer and Information Technology (CIT'04), September 14 - 16, 2004, Wuhan, China, pages 534-539. IEEE Press, September 2004.
Abstract: 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.