@misc{indiciae3d7567ff63c4, title = {Eventizing Traditionally Opaque Binary Neural Networks as 1-safe Petri net Models}, author = {Mohamed Tarraf and Alex Chan and Alex Yakovlev and Rishad Shafik}, year = {2026}, url = {https://arxiv.org/abs/2602.13128}, note = {Source identifier: 2602.13128} }