On Structures and Behaviors of Spiking Neural P Systems and Petri Nets

DOI10.1007/978-3-642-36751-9_11MaRDI QIDQ4913837zbMATH OpenOpenAlexFDO

Authors Francis George C. Cabarle, Henry N. Adorna

Publication date 16 April 2013

Published in Membrane Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-36751-9_11

zbMATH Keywords

joinsmembrane computingordinary Petri netsPetri netsroutingsafe Petri netssimulationsspiking neural P systemssplitsworkflow nets

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• On spiking neural P systems
• Spiking Neural P Systems: Some Characterizations
• Spiking neural P systems: theoretical results and applications
• A formal framework for spiking neural P systems
• Spiking neural P systems: main ideas and results
• A tutorial on the formal framework for spiking neural P systems
• SPIKING NEURAL P SYSTEMS: AN EARLY SURVEY
• Spiking neural P systems with rules on synapses
• Notes on spiking neural P systems and finite automata
• On Some Classes of Sequential Spiking Neural P Systems

Cited in

(4)

• Spiking neural P systems: matrix representation and formal verification
• Notes on spiking neural P systems and finite automata
• scientific article; zbMATH DE number 176336 (Why is no real title available?)
• Verification of membrane systems with delays via Petri nets with delays

This page was built for publication: On Structures and Behaviors of Spiking Neural P Systems and Petri Nets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4913837)