| 基于Petri网的Java多线程程序分析 |
| |
| 引用本文： | 郭娟,许志才,方贤文. 基于Petri网的Java多线程程序分析[J]. 计算机技术与发展, 2009, 19(4) |
| |
| 作者姓名： | 郭娟 许志才 方贤文 |
| |
| 作者单位： | 1. 安徽理工大学,理学院,安徽,淮南,232001
2. 滁州学院,安徽,滁州,239012 |
| |
| 基金项目： | 国家自然科学基金，安徽省青年教师基金 |
| |
| 摘 要： | 多线程程序可以更好地利用计算机资源,提高程序运行效率.但是由于多线程执行的不确定性,程序设计中的潜在错误不易被发现.作为系统建模和分析的工具,Petri网适合对具有同步、并发、冲突的离散事件系统进行建模和分析.文中探讨利用Petri网对Java多线程程序建模,并通过分析模型的结构性质和动态性质定位程序设计中的错误.通过对一个多线程程序实例的建模以及对模型的分析,定位了引发错误的原因,并给出了解决方案.从而说明Petri网在分析多线程程序和提高程序稳定性方面具有优越性.
|
| 关 键 词： | Petri网 抑制弧 多线程 模型 |
Multi-Thread Analysis about Java Program Based on Petri Net |
| |
| GUO Juan,XU Zhi-cai,FANG Xian-wen. Multi-Thread Analysis about Java Program Based on Petri Net[J]. Computer Technology and Development, 2009, 19(4) |
| |
| Authors: | GUO Juan XU Zhi-cai FANG Xian-wen |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
