13th International Conference on Membrane Computing - MTA Sztaki

F.G.C. Cabarle, H.N. Adorna
References
1. Cabarle, F.G.C., Adorna, H.N., Martínez-del-Amor, M.A.: A Spiking Neural P system
simulator based on CUDA. M. Gheorghe et al. (eds.): 12th CMC 2011 revised
and selected papers, LNCS 7184, pp. 87-103 (2012).
2. Cabarle, F.G.C., Adorna, H.N., Martínez-del-Amor, M.A., Pérez-Jiménez, M.J.:
Improving GPU Simulations of Spiking Neural P Systems. (in press) Romanian
Journal of Information Science and Technology (2012)
3. Chen, H., Ionescu, M., Ishdorj, T.-O., Păun, A., Păun, Gh., Pérez-Jiménez, M.J.:
Spiking neural P systems with extended rules: universality and languages. Natural
Computing, vol. 7, issue 2, pp. 147-166 (2008)
4. David, R., Alla, H.. Petri nets and Grafcet: Tools for Modelling Discrete Event
Systems. Prentice-Hall, NJ, USA (1992)
5. Desel, J., Esparza, J. Free Choice Petri nets. Cambridge tracts in theoretical computer
science. vol. 40, Cambridge University Press (1995)
6. Esparza, J., Leucker, M, Schlund, M. Learning Workflow Petri Nets. J. Lilius and
W. Penczek (Eds.): PETRI NETS 2010, LNCS vol. 6128, pp. 206-225, Springer
(2010)
7. Frisco, P. P Systems, Petri Nets, and Program Machines. R. Freund et al. (Eds.):
WMC 2005, LNCS 3850, pp. 209-223, Springer (2006)
8. Gutiérrez-Naranjo, M., Pérez-Jiménez, M.J.. Hebbian Learning from Spiking
Neural P Systems View. LNCS, 9th Workshop on Membrane Computing, vol. 5391,
pp. 217-230, Springer (2009)
9. Ionescu, M., Păun, Gh., Yokomori, T.: Spiking Neural P Systems. Fundamenta
Informaticae, vol. 71, issue 2,3 279-308, Feb. (2006)
10. Ionescu, M., Tîrnăcă, C.I., Tîrnăcă, C.. Dreams and spiking neural P systems.
Romanian Journal of Information Science and Technology, vol. 12(2), pp. 209-217
(2009)
11. Kleijn, J.H.C.M., Koutny, M., Rozenberg, G.: Towards a Petri Net Semantics for
Membrane Systems. Proc. of the 6th Workshop on Membrane Computing, Vienna
(2005) and in Membrane Computing, LNCS 3850, pp. 292-309 (2006)
12. Metta, V.P., Krithivasan, K., Garg, G.: Spiking Neural P systems and Petri nets.
Proc. of the Int’l Workshop on Machine Intelligence Research (2009) [Online]. Available
http://www.mirlabs.org/nagpur/paper02.pdf
13. Metta, V.P., Krithivasan, K., Garg, G.: Modeling spiking neural P systems using
timed Petri nets. NaBIC IEEE <strong>Conference</strong>, pp. 25-30 (2009)
14. Metta, V.P., Krithivasan, K., Garg, G.: Simulation of Spiking Neural P Systems
Using Pnet Lab. Proc. of the 12th CMC, Paris, France, Aug. 2011, [Online] Available
http://cmc12.lacl.fr/cmc12proceedings.pdf
15. Murata, T.: Petri Nets: Properties, analysis and application. Proc. of the IEEE,
77(4): pp. 541-580 (1989)
16. Pan, L., Păun, Gh., Pérez-Jiménez, M.J.: Spiking neural P systems with neuron division
and budding. Proc. of the 7th Brainstorming Week on Membrane Computing,
RGNC, Sevilla, Spain, pp. 151-168 (2009)
17. Păun, Gh.: Membrane Computing: An Introduction. Springer (2002)
18. Păun, Gh., Pérez-Jiménez, M.J.: Spiking Neural P Systems. Recent Results, Research
Topics. A. Condon et al. (eds.), Algorithmic Bioprocesses, Springer (2009)
19. van der Aalst, W.M.P.: Structural Characterizations of Sound Workflow Nets.
Computing Science Reports 96/23, Eindhoven University of Technology (1996)
158