Research Article

Protocol Modeling in Spiking Neural P systems and Petri nets

by  Venkata Padmavati Metta, Kamala Krithivasan, Deepak Garg
journal cover
International Journal of Computer Applications
Foundation of Computer Science (FCS), NY, USA
Volume 1 - Issue 24
Published: February 2010
Authors: Venkata Padmavati Metta, Kamala Krithivasan, Deepak Garg
10.5120/556-730
PDF not available

Venkata Padmavati Metta, Kamala Krithivasan, Deepak Garg . Protocol Modeling in Spiking Neural P systems and Petri nets. International Journal of Computer Applications. 1, 24 (February 2010), 56-61. DOI=10.5120/556-730

                        @article{ 10.5120/556-730,
                        author  = { Venkata Padmavati Metta,Kamala Krithivasan,Deepak Garg },
                        title   = { Protocol Modeling in Spiking Neural P systems and Petri nets },
                        journal = { International Journal of Computer Applications },
                        year    = { 2010 },
                        volume  = { 1 },
                        number  = { 24 },
                        pages   = { 56-61 },
                        doi     = { 10.5120/556-730 },
                        publisher = { Foundation of Computer Science (FCS), NY, USA }
                        }
                        %0 Journal Article
                        %D 2010
                        %A Venkata Padmavati Metta
                        %A Kamala Krithivasan
                        %A Deepak Garg
                        %T Protocol Modeling in Spiking Neural P systems and Petri nets%T 
                        %J International Journal of Computer Applications
                        %V 1
                        %N 24
                        %P 56-61
                        %R 10.5120/556-730
                        %I Foundation of Computer Science (FCS), NY, USA
Abstract

In this paper we present the relation between Spiking Neural P (SN P) systems and Petri nets by focusing on modeling simplex stop-and-wait protocol. The SN P system for the protocol is constructed and also translated it into equivalent Petri net with a corresponding semantics. It is then observed a direct correspondence between the Petri net representation of the proposed model and standard solution based on Petri nets already present in the literature.

References
  • Binder A, Freund R, Oswald M, Vock L, “Ex- tended Spiking Neural P systems with Excita- tory and Inhibitory Astrocytes”, Proceedings of the 8th WSEAS international conference on Evolutionary Computing, British Columbia, Canada , June 19-21, 2007.
  • Fred, Bowden D J, “A Brief Survey and Synthesis of the Roles of Time in Petri nets”, Mathematical and Computer Modelling, vol.31, No.10-12, pp.55-68, 2000.
  • Freund R, Ionescu M, Oswald M, “Extended Spiking Neural P Systems with Decaying Spikes and-or Total Spiking”, ACME FCT Workshop, Budapest, 2007.
  • Ionescu M, Paun Gh, Yokomori T, “Spiking Neural P Systems”, Fundamenta Informaticae, vol.71, No.2-3, pp.279-308, 2006.
  • Jenson K, “Coloured Petri nets: Basic Con- cepts, Analysis, Methods and Practical Use”, EACTS, Monographs on Theoretical Com- puter Science. Springer-Verlag, 1992.
  • Kleijn J, Koutny M, Rozenberg G “Process Se- mantics forMembrane System”, Journal of Au- tomata, Languages and Combinatorics , vol 11, pp.321-340, 2006.
  • Kleijn J, Koutny M “A Petri net model for membrane system with dynamic structure”, Journal of Natural Computing, 2008.
  • Munina Yusufu, “Petri nets”, http:// www.cas.mcmaster.ca / sartipi/course/cas707/w07/slides/Mar13- PetriNets-Munina.pdf
  • Paun Gh, “Computing with Membranes”, Journal of Computer and System Sciences, Vol.61, pp.108-143, 2000.
  • Paun A, Paun Gh, “Small Universal Spiking Neural P Systems”, Journal of Biosystems, El- sevier, Vol.90, pp.48-60, 2007.
Index Terms
Computer Science
Information Sciences
No index terms available.
Keywords

Petri net Spiking neural P system simplex stop-and-wait protocol modeling

Powered by PhDFocusTM