简介概要

用Petri网进行并发系统的描述与分析

来源期刊:北方工业大学学报1991年第3期

论文作者:吴洁明 杨文龙

文章页码:77 - 84

关键词:Petri网;并发处理;系统分析;化简算法;

摘    要:本文介绍了以Petri网为工具对并发系统进行描述和分析的方法,并以Ada并发程序为例给出了Ada并发程序的描述方法。文中给出了一种Petri网的化简算法,并对化简后的Petri网构造出可达树,根据可达树分析系统的安全性、有界性和死锁等性质。

详情信息展示

用Petri网进行并发系统的描述与分析

吴洁明,杨文龙

北方工业大学计算机应用研究所北京航空航天大学计算机系

摘 要:本文介绍了以Petri网为工具对并发系统进行描述和分析的方法,并以Ada并发程序为例给出了Ada并发程序的描述方法。文中给出了一种Petri网的化简算法,并对化简后的Petri网构造出可达树,根据可达树分析系统的安全性、有界性和死锁等性质。

关键词:Petri网;并发处理;系统分析;化简算法;

<上一页 1 下一页 >

有色金属在线官网  |   会议  |   在线投稿  |   购买纸书  |   科技图书馆

中南大学出版社 技术支持 版权声明   电话:0731-88830515 88830516   传真:0731-88710482   Email:administrator@cnnmol.com

互联网出版许可证:(署)网出证(京)字第342号   京ICP备17050991号-6      京公网安备11010802042557号