Petri Net Description of Biological Neural Circuits for Fast Hardware Prototyping
Proposes Petri net-based neural circuit model with formal timing guarantees, validated on feedback, lateral inhibition, and hierarchical feature detection microcircuits.
Carlo daCunha, Rodrigo Pena, Marcos Turqueti