Petri Net Description of Biological Neural Circuits for Fast Hardware Prototyping
Este artigo propõe uma estrutura de rede de Petri com tempo T para modelagem de circuitos neurais biológicos que supera as limitações das simulações de passo de tempo fixo ao permitir a execução em tempo real formalmente verificável e com garantia de prazo, mantendo a correspondência analítica com a dinâmica de tempo contínuo, conforme validado através de três microcircuitos simulados.