论文部分内容阅读
为了描述图标间的相互作用和它们的动态行为，作者提出了一个基于Petri网的图标编程系统．本文首先给出了四类基本图标的形式定义；接着，讨论了该系统各构件的功能并设计了网分析图的生成算法；最后，结合例子说明图标库、知识库、语法库、动态运行库等系统构件在图标编程阶段、可执行代码生成及运行阶段的协同工作过程．该系统原型在SGI图形工作站UNIX环境中的运行试验表明：与时态逻辑相比，无论在编程阶段还是程序运行阶段，Petri网都有很直观的可视化效果．
In order to describe the interaction between icons and their dynamic behavior, the authors propose a Petri nets based icon programming system. Firstly, the formal definitions of the four basic icons are given. Then, the functions of each component of the system are discussed and the algorithm for generating net analysis graphs is designed. Finally, an example is given to illustrate the algorithms of icon library, knowledge base, grammar base, System components in the icon programming phase, executable code generation and operation phase of the collaborative process. The system prototype runs in the SGI graphical workstation UNIX environment shows that compared with temporal logic, both in the programming phase and program running phase, Petri nets are very intuitive visual effects.