Petri网动态运行可视化研究  

The Visualizing of the Dynamic Running of Petri Net

作　　者：叶志宝[1] 蒋昌俊 张兆庆[3] 乔如良[3] 

机构地区：[1]中国科学院软件技术研究所 [2]同济大学计算机科学与工程系,上海200092 [3]中国科学院计算技术研究所

出　　处：《应用科学学报》2001年第3期253-256,共4页Journal of Applied Sciences

基　　金：国家自然科学基金 ( 699730 2 9;699330 2 0 1) ;全国优秀博士论文作者专项基金 ( 199934 ) ;山东省优秀中青年科学家基金;上海市曙光基金 ( 0 810 2 360 19)资助项目

摘　　要：讨论了可视化开发方法在开发 Petri网工具中的应用 ,描述了 Petri网的可视化运行的表现形式 ,介绍了Petri网可视化运行的设计方法 .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.

关 键 词：PETRI网 网运行 可视化运行 并行编程 死锁 PVM验证系统 

分 类 号：TP393.06[自动化与计算机技术—计算机应用技术] TP391.41[自动化与计算机技术—计算机科学与技术]