Abstract
In this work we investigate further the relationship between Petri nets and Spiking Neural P (SNP) systems: we consider SNP systems that have source (no incoming synapse) and sink (no outgoing synapse) neurons, and the initial configuration of the system is where only the source neuron has only one spike. We then route the initial single spike through the system to the sink neuron, using routing constructs. This type of SNP systems are similar to Petri nets, in particular to Workflow (WF) nets. We observe structural and behavioral properties of these nets for routing a single token can be simulated by SNP systems with source and sink neurons. Certain routing types such as AND-splits and OR-joins are ‘natural’ in SNP systems, but AND-joins and especially OR-splits seem to be more complex. Our results also suggest the possibility of analysing workflows using SNP systems.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Cabarle, F.G.C., Adorna, H., Martínez-del-Amor, M.A.: A Spiking Neural P System Simulator Based on CUDA. In: Gheorghe, M., Păun, G., Rozenberg, G., Salomaa, A., Verlan, S. (eds.) CMC 2011. LNCS, vol. 7184, pp. 87–103. Springer, Heidelberg (2012)
Cabarle, F.G.C., Adorna, H., Martínez-del-Amor, M.A., Pérez-Jiménez, M.J.: Improving GPU Simulations of Spiking Neural P Systems. Romanian Journal of Information Science and Technology 15(1), 5–20 (2012)
Chen, H., Ionescu, M., Ishdorj, T.-O., Păun, A., Păun, G., Pérez-Jiménez, M.J.: Spiking neural P systems with extended rules: universality and languages. Natural Computing 7(2), 147–166 (2008)
David, R., Alla, H.: Petri nets and Grafcet: Tools for Modelling Discrete Event Systems. Prentice-Hall, NJ (1992)
Desel, J., Esparza, J.: Free Choice Petri nets. Cambridge tracts in theoretical computer science, vol. 40. Cambridge University Press (1995)
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)
Gutiérrez-Naranjo, M.A., Pérez-Jiménez, M.J.: Hebbian Learning from Spiking Neural P Systems View. In: Corne, D.W., Frisco, P., Păun, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2008. LNCS, vol. 5391, pp. 217–230. Springer, Heidelberg (2009)
Ionescu, M., Păun, G., Yokomori, T.: Spiking Neural P Systems. Fundamenta Informaticae 71(2,3), 279–308 (2006)
Ionescu, M., Tîrnăcă, C.I., Tîrnăcă, C.: Dreams and spiking neural P systems. Romanian Journal of Information Science and Technology 12(2), 209–217 (2009)
Kleijn, J.H.C.M., Koutny, M., Rozenberg, G.: Towards a Petri Net Semantics for Membrane Systems. In: Freund, R., Păun, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2005. LNCS, vol. 3850, pp. 292–309. Springer, Heidelberg (2006)
Maass, W.: Computing with spikes. Special Issue on Foundations of Information Processing of TELEMATIK 8(1), 32–36 (2002)
Metta, V.P., Krithivasan, K., Garg, G.: Spiking Neural P systems and Petri nets. In: Proc. of the Int’l Workshop on Machine Intelligence Research (2009), http://www.mirlabs.org/nagpur/paper02.pdf
Metta, V.P., Krithivasan, K., Garg, G.: Modeling spiking neural P systems using timed Petri nets. In: NaBIC IEEE Conference, pp. 25–30 (2009)
Metta, V.P., Krithivasan, K., Garg, G.: Simulation of Spiking Neural P Systems Using Pnet Lab. In: Proc. of the 12th CMC, Paris, France (August 2011), http://cmc12.lacl.fr/cmc12proceedings.pdf
Murata, T.: Petri Nets: Properties, analysis and application. Proc. of the IEEE 77(4), 541–580 (1989)
Pan, L., Păun, G., 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, 151-168 (2009)
Păun, G.: Membrane Computing: An Introduction. Springer (2002)
Păun, G., Pérez-Jiménez, M.J.: Spiking Neural P Systems. Recent Results, Research Topics. In: Condon, A., et al. (eds.) Algorithmic Bioprocesses. Springer (2009)
Păun, G., Rozenberg, G., Salomaa, A. (eds.): The Oxford Handbook of Membrane Computing. Oxford University Press (2010)
van der Aalst, W.M.P.: Structural Characterizations of Sound Workflow Nets. Computing Science Reports 96/23, Eindhoven University of Technology (1996)
van der Aalst, W.M.P.: The Application of Petri Nets to Workflow Management. Journal of Circuits, Systems and Computers 8(1), 21–66 (1998)
Qi, Z., You, J.-y., Mao, H.: P Systems and Petri Nets. In: Martín-Vide, C., Mauri, G., Păun, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2003. LNCS, vol. 2933, pp. 286–303. Springer, Heidelberg (2004)
Zeng, X., Adorna, H., Martínez-del-Amor, M.Á., Pan, L., Pérez-Jiménez, M.J.: Matrix Representation of Spiking Neural P Systems. In: Gheorghe, M., Hinze, T., Păun, G., Rozenberg, G., Salomaa, A. (eds.) CMC 2010. LNCS, vol. 6501, pp. 377–391. Springer, Heidelberg (2010)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cabarle, F.G.C., Adorna, H.N. (2013). On Structures and Behaviors of Spiking Neural P Systems and Petri Nets. In: Csuhaj-Varjú, E., Gheorghe, M., Rozenberg, G., Salomaa, A., Vaszil, G. (eds) Membrane Computing. CMC 2012. Lecture Notes in Computer Science, vol 7762. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-36751-9_11
Download citation
DOI: https://doi.org/10.1007/978-3-642-36751-9_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-36750-2
Online ISBN: 978-3-642-36751-9
eBook Packages: Computer ScienceComputer Science (R0)