用pi 演算表示带抑止弧的Petri网 - 西北大学.pdfVIP

用Pi+演算表示带抑止弧的Petri 网 西北大学信息学院软件工程研究所技术报告 2008.11.12 西北大学信息学院软件工程研究所技术报告 2008.11.12. 用Pi+演算表示带抑止弧的Petri 网 郭小群 郝克刚 西北大学信息学院软件工程研究所 guoxiaoq@ hkg@ 前言 自20世纪60年代初德国的C. A. Petri 博士在其博士论文中首次系统地提出 ， ， Petri 网理论 (简称网论) 以来, 网论获得了深入的发展和广泛的应用 [1 2 3] 。最 初的网被称为条件/事件网，在这种网中, 每个位置至多有一个托肯(token) , 该托 肯表示一个布尔条件。 后来，取消了这个限制，成为现在较流行的P/T 网，即所 谓位置/ 转移网。为了能