Petri网动态运行可视化研究

作     者：叶志宝 蒋昌俊 张兆庆 乔如良 

作者机构：中国科学院软件技术研究所 同济大学计算机科学与工程系上海200092 中国科学院计算技术研究所 

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

出 版 物：《应用科学学报》 (Journal of Applied Sciences)

年 卷 期：2001年第19卷第3期

页      码：253-256页

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

主 题 词：Petri网 网运行 可视化运行 并行编程 死锁 PVM验证系统 

学科分类：12[管理学] 1201[管理学-管理科学与工程类] 08[工学] 080203[080203] 0802[工学-机械学] 081201[081201] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3969/j.issn.0255-8297.2001.03.016

馆 藏 号：203373473...