A brief presentation of my work on modeling and analyzing neuromorphic SNNs as discrete event systems (or Time Petri Nets, to be precise) at the Neuro-inspired Computational Elements Workshop 2022.