TY  - RPRT
TI  - Eventizing Traditionally Opaque Binary Neural Networks as 1-safe Petri net Models
AU  - Mohamed Tarraf
AU  - Alex Chan
AU  - Alex Yakovlev
AU  - Rishad Shafik
PY  - 2026
UR  - https://arxiv.org/abs/2602.13128
ID  - 2602.13128
ER  -