10.3321/j.issn:0254-4164.1998.07.011
基于Petri网的图标编程系统
为了描述图标间的相互作用和它们的动态行为,作者提出了一个基于Petri网的图标编程系统.本文首先给出了四类基本图标的形式定义;接着,讨论了该系统各构件的功能并设计了网分析图的生成算法;最后,结合例子说明图标库、知识库、语法库、动态运行库等系统构件在图标编程阶段、可执行代码生成及运行阶段的协同工作过程.该系统原型在SGI图形工作站UNIX环境中的运行试验表明:与时态逻辑相比,无论在编程阶段还是程序运行阶段,Petri网都有很直观的可视化效果.
Petri网、图标、可视化
21
TP393(计算技术、计算机技术)
国家高技术研究发展计划863计划863-511-01-0123
2005-08-11（万方平台首次上网日期，不代表论文的发表时间）
共6页
656-661
