| 用Petri网进行并发系统的描述与分析 |
| |
| 引用本文： | 吴洁明 杨文龙. 用Petri网进行并发系统的描述与分析[J]. 北方工业大学学报, 1991, 3(3): 77-84 |
| |
| 作者姓名： | 吴洁明 杨文龙 |
| |
| 作者单位： | 北方工业大学计算机应用研究所(吴洁明)，北京航空航天大学计算机系(杨文龙) |
| |
| 摘 要： | 本文介绍了以Petri网为工具对并发系统进行描述和分析的方法,并以Ada并发程序为例给出了Ada并发程序的描述方法。文中给出了一种Petri网的化简算法,并对化简后的Petri网构造出可达树,根据可达树分析系统的安全性、有界性和死锁等性质。
|
| 关 键 词： | Petri网 并发系统 描述 |
UTILIZING PETRI NETS FOR DESCRIPTION AND ANALYSIS OF PARALLEL SYSTEMS |
| |
| Wu Jieming Yang Wenlong. UTILIZING PETRI NETS FOR DESCRIPTION AND ANALYSIS OF PARALLEL SYSTEMS[J]. Journal of North China University of Technology, 1991, 3(3): 77-84 |
| |
| Authors: | Wu Jieming Yang Wenlong |
| |
| Affiliation: | Wu Jieming Yang Wenlong(Institute of ComputerApplications ) ( Beijing Institute of Aero-nautics and Astronautics ) |
| |
| Abstract: | |
| |
| Keywords: | Petri Net parallel processing systems analysis reduction algorithm. |
| 本文献已被 CNKI 维普 等数据库收录！ |
