Petri网动态运行可视化研究

应用科学学报 ›› 2001, Vol. 19 ›› Issue (3): 253-256.

Petri网动态运行可视化研究

叶志宝¹, 蒋昌俊^2,3, 张兆庆⁴, 乔如良⁴

1. 中国科学院软件技术研究所, 北京 100080;
2. 同济大学计算机科学与工程系, 上海 200092;
3. 山东科技大学计算机科学与技术系, 山东泰安 271019;
4. 中国科学院计算技术研究所, 北京 100080

收稿日期:2000-04-06 修回日期:2000-10-03 出版日期:2001-09-30 发布日期:2001-09-30
作者简介:叶志宝(1971-),男,江苏连云港人,博士生;蒋昌俊(1962-),男,安徽安庆人,教授,博导;张兆庆(1938-),女,天津人,研究员,博导.
基金资助:
国家自然科学基金(69973029,699330201);全国优秀博士论文作者专项基金(199934);山东省优秀中青年科学家基金和上海市曙光基金(0810236019)资助项目

The Visualizing of the Dynamic Running of Petri Net

YE Zhi-bao¹, JIANG Chang-jun^2,3, ZHANG Zhao-qing⁴, QIAO Ru-liang⁴

1. Institute of Software, The Chinese Academy of Science, Beijing 100080, China;
2. Department of Computer Science and Engineering, Tongji University, Shanghai 200092, China;
3. Department of Computer Science and Technology, Shandong University of Science and Technology, Taian 271019, China;
4. Institute of Computer Technology, The Chinese Academy of Science, Beijing 100080, China

Received:2000-04-06 Revised:2000-10-03 Online:2001-09-30 Published:2001-09-30

摘要/Abstract

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

关键词: Petri网, 网运行, 可视化

Abstract: This 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.

Key words: Petri net, net running, visualizing

中图分类号:

TP393.01

叶志宝, 蒋昌俊, 张兆庆, 乔如良. Petri网动态运行可视化研究[J]. 应用科学学报, 2001, 19(3): 253-256.

YE Zhi-bao, JIANG Chang-jun, ZHANG Zhao-qing, QIAO Ru-liang. The Visualizing of the Dynamic Running of Petri Net[J]. Journal of Applied Sciences, 2001, 19(3): 253-256.

[1]	刘霞, 单宁, 马晓峰, 王少华, 刘团结. 碳纤维复合材料激光超声可视化检测系统设计研究[J]. 应用科学学报, 2017, 35(6): 797-804.
[2]	焦合军1,3,4，张璟1，李军怀1，施进发2，李建3. 协同设计中基于混合Petri网的云工作流表示模型[J]. 应用科学学报, 2014, 32(6): 645-651.
[3]	李胜昌1，宋阿妮2，王明哲1. 基于赋时层次着色Petri网的混杂系统建模与行为分析[J]. 应用科学学报, 2014, 32(3): 293-300.
[4]	贾永红1,2，祝梦花1，刁永洲1，管玉娟3. 资源三号卫星数据融合的核线影像生成[J]. 应用科学学报, 2014, 32(1): 79-84.
[5]	杨怀洲，王学龙. Web服务组合系统扩展GSPN建模与化简规则[J]. 应用科学学报, 2013, 31(6): 633-642.
[6]	方哲梅，王明哲，杨翠蓉. 着色Petri网的混杂系统仿真平台构架[J]. 应用科学学报, 2011, 29(1): 105-110.
[7]	闫春钢1;2，蒋昌俊1;2，丁志军1;2，孙萍1;2. 工作流网系统合理性的语言特性[J]. 应用科学学报, 2011, 29(1): 61-65.
[8]	杨翠蓉，王明哲，廖晶静. 用影响网分析复杂系统关键事件[J]. 应用科学学报, 2010, 28(6): 639-645.
[9]	廖晶静，王明哲. 用关联矩阵特征值分析Petri网模型结构[J]. 应用科学学报, 2010, 28(4): 417-423.
[10]	白衡, 王世杰, 罗立民. DT-MRI数据集的一种拓扑可视化方法[J]. 应用科学学报, 2006, 24(6): 582-587.
[11]	哈进兵, 胡文斌, 严仰光. 异地电源制造中的动态访问控制研究与应用[J]. 应用科学学报, 2004, 22(3): 365-369.
[12]	蒋昌俊. 同步合成网的完全顺序行为不变性[J]. 应用科学学报, 2000, 18(3): 271-275.
[13]	蒋昌俊, 祝明发, 李国杰. 合成网的进程语义[J]. 应用科学学报, 2000, 18(1): 42-46.
[14]	闫春钢, 蒋昌俊. 文法的Petri网模型及其构造算法[J]. 应用科学学报, 1999, 17(1): 58-63.
[15]	许广银. 多资源共享系统的死锁分析与控制[J]. 应用科学学报, 1998, 16(3): 331-337.