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

DOI10.1007/978-3-642-36751-9_11zbMath1388.68042OpenAlexW1605916948MaRDI QIDQ4913837

Henry N. Adorna, Francis George C. Cabarle

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

Petri netssimulationsroutingjoinsmembrane computingspiking neural P systemssplitsworkflow netssafe Petri netsordinary Petri 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)

Related Items (2)

Verification of membrane systems with delays via Petri nets with delays ⋮ Spiking neural P systems: matrix representation and formal verification

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