arXiv ID:
2602.13128
arXiv 提交日期: 2026-02-13
将传统不透明的二元神经网络事件化为1-安全Petri网模型 / Eventizing Traditionally Opaque Binary Neural Networks as 1-safe Petri net Models
1️⃣ 一句话总结
这篇论文提出了一种新方法,将难以理解的二元神经网络转换成一种名为Petri网的图形化模型,使其内部运作过程变得像事件流程图一样清晰可见,从而便于进行形式化验证,以提升其在安全关键领域应用的可靠性。