2021年度PETRI网建模理论基础讲义

- petri网的应用领域 - (1)通讯协议的验证 通讯协议的验证是Petri网应用最为成功的领域之一最初应用在70年代初期，由于 Petri网以形式语言作为基础，可形式