Modelling and analysis of spiking neural P systems with anti-spikes using Pnet lab

Gutiérrez-Naranjo, 2008, A software tool for verification of spiking neural P systems, Natural Computing, 7, 485, 10.1007/s11047-008-9083-y Ibarra, 2010, On spiking neural P systems, Natural Computing, 9, 475, 10.1007/s11047-009-9159-3 Ionescu, 2006, Spiking neural P systems, Fundamenta Informaticae, 71, 279 Kleijn, 2009, A Petri net model for membrane system with dynamic structure, Natural Computing, 8, 781, 10.1007/s11047-008-9101-0 Kleijn, 2006, Process semantics for membrane system, Journal of Automata, Languages and Combinatorics, 11, 321 Krithivasan, 2011, On string languages generated by spiking neural P systems with anti spikes, International Journal of Foundations of Computer Science, 22, 15, 10.1142/S0129054111007794 Linqiang, 2009, Spiking neural P systems with anti-spikes, International Journal of Computers, Communications & Control, 4, 273, 10.15837/ijccc.2009.3.2435 V.P. Metta, K. Krithivasan, D. Garg, Modeling spiking neural P systems using timed Petri nets, NaBIC, IEEE Xplore, 2009, doi:10.1109/NABIC.2009.5393490. V.P. Metta, K. Krithivasan, D. Garg, Representation of spiking neural P systems with anti-spikes through Petri nets, in: the Proceedings of BIONETICS, LNICST, Springer (2010) (forthcoming). Păun, 2000, Computing with membranes, Journal of Computer and System Sciences, 61, 108, 10.1006/jcss.1999.1693 Păun, 2007, Spiking neural P systems used as acceptors and transducers, vol. 4783, 1 Pnet Lab: a Petri net tool. http://www.automatica.unisa.it/PnetLab.html. Reisig, 1998, vols. 1491, 1492