基于Petri网的图标编程系统

• 作者: 滕至阳 程正潮 袁全生
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: Petri网 图标 可视化
• 年，卷（期）: 1998,（7）
• 所属期刊栏目: 短文
• 页码范围: 656-661
• 页数: 6页
• 分类号: TP393
• 字数: 3514字
• 语种: 中文
• DOI: 10.3321/j.issn:0254-4164.1998.07.011

摘要

为了描述图标间的相互作用和它们的动态行为,作者提出了一个基于Petri网的图标编程系统.本文首先给出了四类基本图标的形式定义;接着,讨论了该系统各构件的功能并设计了网分析图的生成算法;最后,结合例子说明图标库、知识库、语法库、动态运行库等系统构件在图标编程阶段、可执行代码生成及运行阶段的协同工作过程.该系统原型在SGI图形工作站UNIX环境中的运行试验表明:与时态逻辑相比,无论在编程阶段还是程序运行阶段,Petri网都有很直观的可视化效果.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	滕至阳	东南大学计算机科学与工程系	21	448	8.0	21.0
2	袁全生	东南大学计算机科学与工程系	2	7	1.0	2.0
3	程正潮	东南大学计算机科学与工程系	2	7	1.0	2.0