A software tool for verification of Spiking Neural P Systems

The formal verification of a Spiking Neural P System (SN P Systems, for short) designed for solving a given problem is usually a hard task. Basically, the verification process consists of the search of invariant formulae such that, once proved their validity, show the right answer to the problem. Even though there does not exist a general methodology for verifying SN P Systems, in (Păun et al., Int J Found Comput Sci 17(4):975–1002, 2006) a new tool based on the transition diagram of the P system has been developed for helping the researcher in the search of invariant formulae. In this paper we show a software tool which allows to generate the transition diagram of an SN P System in an automatic way, so it can be considered as an assistant for the formal verification of such computational devices.

[1]  Florent Jacquemard,et al.  An Analysis of a Public Key Protocol with Membranes , 2005 .

[2]  R. Eckhorn,et al.  Coherent oscillations: A mechanism of feature linking in the visual cortex? , 1988, Biological Cybernetics.

[3]  Mario J. Pérez-Jiménez,et al.  A Model of the Quorum Sensing System in Vibrio fischeri Using P Systems , 2008, Artificial Life.

[4]  Gabriel Ciobanu,et al.  P System Software Simulator , 2002, Fundam. Informaticae.

[5]  W. Pitts,et al.  A Logical Calculus of the Ideas Immanent in Nervous Activity (1943) , 2021, Ideas That Created the Future.

[6]  Hiroshi Tanaka,et al.  Artificial Life Applications of a Class of P Systems: Abstract Rewriting Systems on Multisets , 2000, WMP.

[7]  D. Hubel,et al.  Receptive fields of single neurones in the cat's striate cortex , 1959, The Journal of physiology.

[8]  Ioan I. Ardelean,et al.  Modeling Respiration in Bacteria and Respiration/Photosynthesis Interaction in Cyanobacteria Using a P System Simulator , 2006, Applications of Membrane Computing.

[9]  Alfonso Rodríguez-Patón,et al.  Tissue P systems , 2003, Theor. Comput. Sci..

[10]  E. D. Adrian,et al.  The Basis of Sensation , 1928, The Indian Medical Gazette.

[11]  V. Mountcastle.  Modality and topographic properties of single neurons of cat's somatic sensory cortex. , 1957, Journal of neurophysiology.

[12]  Gabriel Ciobanu,et al.  Applications of Membrane Computing , 2006, Applications of Membrane Computing.

[13]  Gheorghe Paun,et al.  Computing with Membranes , 2000, J. Comput. Syst. Sci..

[14]  Miguel Ángel Gutiérrez Naranjo,et al.  A Software Tool for Dealing with Spiking Neural P Systems , 2007 .

[15]  Alfonso Rodríguez-Patón,et al.  A New Class of Symbolic Abstract Neural Nets: Tissue P Systems , 2002, COCOON.

[16]  Gheorghe Paun.  Spiking Neural P Systems: A Tutorial , 2007, Bull. EATCS.

[17]  Mario J. Pérez-Jiménez,et al.  Available Membrane Computing Software , 2006, Applications of Membrane Computing.

[18]  John H. Holland,et al.  Adaptation in Natural and Artificial Systems: An Introductory Analysis with Applications to Biology, Control, and Artificial Intelligence , 1992 .

[19]  W. Singer,et al.  Stimulus-specific neuronal oscillations in orientation columns of cat visual cortex. , 1989, Proceedings of the National Academy of Sciences of the United States of America.

[20]  L M Adleman,et al.  Molecular computation of solutions to combinatorial problems. , 1994, Science.

[21]  E. Adrian,et al.  The impulses produced by sensory nerve‐endings , 1926 .

[22]  Vincenzo Manca,et al.  P Systems for Biological Dynamics , 2006, Applications of Membrane Computing.

[23]  Sean Sedwards,et al.  Cyto-Sim: a formal language model and stochastic simulator of membrane-enclosed biochemical processes , 2007, Bioinform..

[24]  Gheorghe Paun,et al.  Spike Trains in Spiking Neural P Systems , 2006, Int. J. Found. Comput. Sci..

[25]  Gabriel Ciobanu,et al.  P Systems Running on a Cluster of Computers , 2003, Workshop on Membrane Computing.

[26]  Gheorghe Paun,et al.  Membrane Computing , 2002, Natural Computing Series.

[27]  Mario J. Pérez-Jiménez,et al.  On Descriptive Complexity of P Systems , 2004, Workshop on Membrane Computing.

[28]  Gheorghe Paun,et al.  Applications of Membrane Computing (Natural Computing Series) , 2005 .