Formal Verification and Testing Based on P Systems

  • Marian Gheorghe
  • Florentin Ipate
  • Ciprian Dragomir
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5957)

Abstract

In this paper it is surveyed the set of formal verification methods and testing approaches used so far for applications based on P systems.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Aguado, J., Bălănescu, T., Cowling, A., Gheorghe, M., Holcombe, M., Ipate, F.: P systems with replicated rewriting and stream X-machines (Eilenberg machines). Fundamenta Informaticae 49, 17–33 (2002)MATHMathSciNetGoogle Scholar
  2. 2.
    Aman, B., Ciobanu, G.: Translating mobile ambients into P systems. Electronic Notes in Theoretical Computer Science 171, 11–23 (2007)CrossRefGoogle Scholar
  3. 3.
    Andrei, O., Ciobanu, G., Lucanu, D.: Executable specifications of P systems. In: Mauri, G., Păun, Gh., Jesús Pérez-Jímenez, M., Rozenberg, G., Salomaa, A. (eds.) WMC 2004. LNCS, vol. 3365, pp. 126–145. Springer, Heidelberg (2005)Google Scholar
  4. 4.
    Barbuti, R., Maggiolo-Schettini, A., Milazzo, P., Tini, S.: Compositional semantics and behavioral equivalences for P systems. Theoretical Computer Science 395, 77–100 (2008)MATHCrossRefMathSciNetGoogle Scholar
  5. 5.
    Andrei, O., Ciobanu, G., Lucanu, D.: A rewriting logic framework for operational semantics of membrane systems. Theoretical Computer Science 373, 163–181 (2007)MATHCrossRefMathSciNetGoogle Scholar
  6. 6.
    Bernardini, F., Gheorghe, M., Romero-Campero, R., Walkinshaw, N.: Hybrid approach to modeling biological systems. In: Eleftherakis, G., Kefalas, P., Păun, Gh., Rozenberg, G., Salomaa, A. (eds.) WMC 2007. LNCS, vol. 4860, pp. 138–159. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  7. 7.
    Cavaliere, M.: Computing by observing: A brief survey. In: Beckmann, A., Dimitracopoulos, C., Löwe, B. (eds.) CiE 2008. LNCS, vol. 5028, pp. 110–119. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  8. 8.
    Cavaliere, M., Mardare, R.: Partial knowledge in membrane systems: A logical approach. In: Hoogeboom, H.J., Păun, Gh., Rozenberg, G., Salomaa, A. (eds.) WMC 2006. LNCS, vol. 4361, pp. 279–297. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  9. 9.
    Ciobanu, G.: Semantics of P Systems. In: Păun, Gh., Rozenberg, G., Salomaa, A. (eds.) Handbook of membrane computing, ch. 16, pp. 413–436. Oxford University Press, Oxford (to appear)Google Scholar
  10. 10.
    Dang, Z., Ibarra, O.H., Li, C., Xie, G.: Decidability of model-checking P systems. Journal of Automata, Languages and Combinatorics 11, 179–198 (2006)MathSciNetGoogle Scholar
  11. 11.
    Díaz-Pernil, D., Graciani, C., Gutiérrez-Naranjo, M.A., Pérez-Hurtado, I., Pérez-Jiménez, M.J.: Software for P systems. In: Păun, Gh., Rozenberg, G., Salomaa, A. (eds.) Handbook of membrane computing, ch. 17, pp. 437–454. Oxford University Press, Oxford (to appear)Google Scholar
  12. 12.
    Frisco, P.: P systems, Petri nets, and program machines. In: Freund, R., Păun, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2005. LNCS, vol. 3850, pp. 209–223. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  13. 13.
    Frisco, P., Corne, D.W.: Dynamics of HIV infection studied with cellular automata and conformon-P systems. BioSystems 91, 531–544 (2008)CrossRefGoogle Scholar
  14. 14.
    Gheorghe, M., Ipate, F.: On testing P systems. In: Corne, D.W., Frisco, P., Paun, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2008. LNCS, vol. 5391, Springer, Heidelberg (2009)CrossRefGoogle Scholar
  15. 15.
    Hinton, A., Kwiatkowska, M., Norman, G.: PRISM – A tool for automatic verification of probabilistic systems. In: Hermanns, H., Palsberg, J. (eds.) TACAS 2006. LNCS, vol. 3920, pp. 441–444. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  16. 16.
    Ipate, F., Gheorghe, M.: Testing non-deterministic stream X-machine models and P systems. Electronic Notes in Theoretical Computer Science 227, 113–226 (2008)CrossRefGoogle Scholar
  17. 17.
    Kleijn, J., Koutny, M.: Petri nets and membrane computing. In: Păun, G., Rozenberg, G., Salomaa, A. (eds.) Handbook of membrane computing, ch. 15, pp. 389–412. Oxford University Press, Oxford (to appear)Google Scholar
  18. 18.
    Păun, Gh.: Computing with membranes. Journal of Computer and System Sciences 61, 108–143 (2000)MATHCrossRefMathSciNetGoogle Scholar
  19. 19.
    Păun, Gh., Rozenberg, G.: A guide to membrane computing. Theoretical Computer Science 287, 73–100 (2002)MATHCrossRefMathSciNetGoogle Scholar
  20. 20.
    Păun, Gh.: Membrane Computing. An Introduction. Springer, Berlin (2002)MATHGoogle Scholar
  21. 21.
    Pérez-Jiménez, M.J., Romero-Campero, F.: P systems, a new computational modelling tool for systems biology. In: Priami, C., Plotkin, G. (eds.) Transactions on Computational Systems Biology VI. LNCS (LNBI), vol. 4220, pp. 176–197. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  22. 22.
    Şerbănuţă, T., Ştefănescu, Gh., Roşu, G.: Defining and executing P systems with structured data in K. In: Corne, D.W., Frisco, P., Paun, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2008. LNCS, vol. 5391, pp. 374–393. Springer, Heidelberg (2009)Google Scholar
  23. 23.
    Stamatopoulou, I., Kefalas, P., Gheorghe, M.: Transforming state-based models to P systems models in practice. In: Corne, D.W., Frisco, P., Paun, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2008. LNCS, vol. 5391, pp. 260–273. Springer, Heidelberg (2009)Google Scholar
  24. 24.
    Vitale, A., Mauri, G., Zandron, C.: Simulation of a bounded symport antiport P system with brane calculi. Biosytems 91, 558–571 (2008)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Marian Gheorghe
    • 1
    • 2
  • Florentin Ipate
    • 2
  • Ciprian Dragomir
    • 1
  1. 1.Department of Computer ScienceThe University of SheffieldSheffieldUK
  2. 2.Department of Computer Science, Faculty of Mathematics and Computer ScienceThe University of PiteştiPiteşti

Personalised recommendations