Simulation and verification of P systems through communicating X-machines

BioSystems

Volumn 70, Issue 2, 2003, Pages 135-148

  Kefalas, P ^a   Eleftherakis, G ^a   Holcombe, M ^b   Gheorghe, M ^b  

^a UNIVERSITY OF SHEFFIELD   (Greece)

^b UNIVERSITY OF SHEFFIELD   (United Kingdom)

Author keywords

Cell modelling; P systems; X machines

Indexed keywords

COMPUTER SIMULATION; CYTOLOGY;

ARTICLE; CELL ACTIVITY; CELL COMMUNICATION; COMPUTER SIMULATION; DEVICE; MATHEMATICAL MODEL; MOLECULAR DYNAMICS; P SYSTEM; THEORETICAL MODEL;

EID: 0043027095     PISSN: 03032647     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0303-2647(03)00036-4     Document Type: Article

References (28)

1. Adleman L.M. Molecular computation of solutions to combinatorial problems. Science. 226:1994;1021-1024.
2. Aguado J., Balanescu T., Cowling T., Gheorghe M., Holcombe M., Ipate F. P systems with replicated rewriting and stream X-machines (Eilenberg machines). Fundam. Inf. 49:2001;1-17.
3. Balanescu T., Cowling A.J., Georgescu H., Gheorghe M., Holcombe M., Vertan C. Communicating stream X-machines systems are no more than X-machines. J. Univ. Comput. Sci. 5(9):1999;494-507.
4. Balanescu, T., Gheorghe, M., Holcombe, M., Ipate, F., 2002. A variant of EP systems. Pre-proceeding Workshop on Membrane Computing, Curtea de Arges, Romania, Publication No. 1, MolCoNet Project - IST-2001-32008, pp. 57-64.
5. Banatre J.-P., Le Metayer D. The gamma model and its discipline of programming. Sci. Comput. Programming. 15:1990;55-77.
6. Barnard J. COMX: a design methodology using communicating X-machines. J. Inf. Software Technol. 40:1998;271-280.
7. Berry G., Boudol G. The chemical abstract machine. Theor. Comput. Sci. 96:1992;217-248.
8. Chaitin G.J. Meta-mathematics and the foundations of mathematics. Bull. EATCS. 77:2002;167-179.
9. Clarke, E.M., Grumberg, O., Peled, D., 1999. Model Checking. MIT Press, Cambridge, MA.
10. Clark, L., Paton, R., 1998. Towards computational models of chemotaxis in Escherichia coli. In: Holcombe, M., Paton, R. (Eds.), Information Processing in Cells and Tissues. Plenum Press, pp. 39-46.
11. Cowling A.J., Georgescu H., Vertan C. A structured way to use channels for communication in X-machines systems. Formal Asp. Comput. 12:2000;485-500.
12. Duan Z.H., Holcombe M., Linkens D.A. Modelling of a soaking pit furnace in hybrid machines. Syst. Anal. Model. Simulation. 18:1995;153-157.
13. Eilenberg, S., 1974. Automata, Languages and Machines, vol. A. Academic Press.
14. Eleftherakis, G., Kefalas, P., Sotiriadou, A., 2001. XmCTL: extending temporal logic to facilitate formal verification of X-machines models. Annals of the University of Bucharest, Mathematics-Informatics, Year L, pp. 79-95.
15. Emerson E.A., Halpern J.Y. Sometimes and not never revisited: on branching time versus linear time. J. ACM. 33:1986;151-178.
16. Gheorghe M., Holcombe M., Kefalas P. Computational models of collective foraging. BioSystems. 61:2001;133-141.
17. Holcombe M. Computational models of cells and tissues: machines, agents and fungal infection. Briefings Bioinf. 2:2001;271-278.
18. Ipate F., Holcombe M. Another look at computability. Informatica. 20:1996;359-372.
19. Kauffman, S.A., 1993. The Origins of Order. Self-Organization and Selection in Evolution. Oxford University Press.
20. Kefalas, P., 2002. Formal modelling of reactive agents as an aggregation of simple behaviours. In: Vlahavas, I.P., Spyropoulos, C.D. (Eds.), Lecture Notes in Artificial Intelligence 2308. Springer, pp. 461-472.
21. Kefalas, P., Holcombe, M., Eleftherakis, G., Gheorghe, M., 2003a. A formal method for the development of agent based system. In: Plekhavona, V. (Ed.), Intelligent Agent Software Engineering. Idea Group Publishing, pp. 68-98 (to appear).
22. Kefalas, P., Eleftherakis, G., Kehris, E., 2003b. Communicating X-machines: from theory to practice. In: Kakas, A., Manolopoulos, Y., Evripidou, S. (Eds.), Advances in Informatics, Lecture Notes in Computer Science. Springer, p. 2563.
23. Paun, Gh., 2000. Computing with membranes. J. Comput. Syst. Sci. 61 (1), 108-143 (circulated since November 1998 as TUCS Report No. 208, http://www.tucs.fi ).
24. Paun Gh. From cells to computers: computing with membranes (P systems). BioSystems. 59:2001;139-158.
25. Paun, Gh., 2002. Membrane Computing. An Introduction. Springer, Berlin.
26. Paun, Gh., Rozenberg, G., Salomaa, A., 1998. DNA Computing. New Computing Paradigms. Springer, Berlin.
27. Perez-Jimenez M.J., Sancho-Caparrini F. Verifying a P system generating squares. Romanian J. Inf. Sci. Technol. 5(2/3):2002;295-305.
28. Sancho-Caparrini, F., 2002. Verifying of Programs in Unconventional Computing Models. Ph.D. Thesis, Sevilla University.