A Petri net description of biological neural circuits enables deadline-guaranteed real-time execution with formally verifiable timing semantics

Here, we propose a Petri net description of biological neural circuits that overcomes these limitations by modeling neurons, synapses, and spike events as a T-timed Petri net with formally verifiable timing semantics, enabling deadline-guaranteed real-time execution

http://arxiv.org/abs/2608.20147v1