用Petri网进行并发系统的描述与分析
来源期刊:北方工业大学学报1991年第3期
论文作者:吴洁明 杨文龙
文章页码:77 - 84
关键词:Petri网;并发处理;系统分析;化简算法;
摘 要:本文介绍了以Petri网为工具对并发系统进行描述和分析的方法,并以Ada并发程序为例给出了Ada并发程序的描述方法。文中给出了一种Petri网的化简算法,并对化简后的Petri网构造出可达树,根据可达树分析系统的安全性、有界性和死锁等性质。
吴洁明,杨文龙
北方工业大学计算机应用研究所北京航空航天大学计算机系
摘 要:本文介绍了以Petri网为工具对并发系统进行描述和分析的方法,并以Ada并发程序为例给出了Ada并发程序的描述方法。文中给出了一种Petri网的化简算法,并对化简后的Petri网构造出可达树,根据可达树分析系统的安全性、有界性和死锁等性质。
关键词:Petri网;并发处理;系统分析;化简算法;