|
|||||
|
|
| Petri网动态运行可视化研究 | |
| 引用本文： | 叶志宝,蒋昌俊,张兆庆,乔如良. Petri网动态运行可视化研究[J]. 应用科学学报, 2001, 19(3): 253-256 |
| 作者姓名： | 叶志宝 蒋昌俊 张兆庆 乔如良 |
| 作者单位： | 1. 中国科学院软件技术研究所, 2. 同济大学计算机科学与工程系;山东科技大学计算机科学与技术系 3. 中国科学院计算技术研究所, |
| 基金项目： | 国家自然科学基金(69973029,699330201);全国优秀博士论文作者专项基金(199934);山东省优秀中青年科学家基金和上海市曙光基金(0810236019)资助项目 |
| 摘 要： | 讨论了可视化开发方法在开发Pmtri网工具中的应用,描述了Petri网的视化运行的表现形式,介绍了Petri可视化运行的设计方法。 |
| 关 键 词： | Petri网 网运行 可视化运行 并行编程 死锁 PVM验证系统 |
| 文章编号： | 0255-8297(2001)03-0253-04 |
The Visualizing of the Dynamic Running of Petri Net |
|
| YE Zhi-bao ,JIANG Chang-jun ,,ZHANG Zhao-qing ,KGQIAO Ru-liang. The Visualizing of the Dynamic Running of Petri Net[J]. Journal of Applied Sciences, 2001, 19(3): 253-256 | |
| Authors: | YE Zhi-bao JIANG Chang-jun ZHANG Zhao-qing KGQIAO Ru-liang |
| Affiliation: | YE Zhi-bao 1,JIANG Chang-jun 2,3,ZHANG Zhao-qing 4,KG*2QIAO Ru-liang 4 |
| Abstract: | WTBZThis paper mainly discusses the method for designing the visual running of Petri net. The key technology of performance of visual running is described and the method of designing the visual running of Petri net is presented. |
| Keywords: | Petri net net running visualizing |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |