摘要
本文介绍了以Petri网为工具对并发系统进行描述和分析的方法,并以Ada并发程序为例给出了Ada并发程序的描述方法。文中给出了一种Petri网的化简算法,并对化简后的Petri网构造出可达树,根据可达树分析系统的安全性、有界性和死锁等性质。
In this paper, a method to describe and analyse the parallel systems by means of Petri Nets has been proposed and the descriptive approach of Ada parallel program is presented as an example. A simplified appraoch to Petri Nets is espesially investigated. Also in this paper, an accessible tree of simplified Petri Nets has been structured by which the security, bound, and deadblock of systems can be analysed.
出处
《北方工业大学学报》
1991年第3期77-84,共8页
Journal of North China University of Technology
关键词
PETRI网
并发系统
描述
Petri Net, parallel processing, systems analysis
reduction algorithm.
