摘要： 介绍并发验证系统中的操作向导。给出了具体的实现方案；此外，研发过程中遇到的相关问题和采用的技术也是讨论的对象。
关键词:
Petri网模型,
操作向导,
处理模块,
对话栏
Abstract: This paper introduces the Operation Wizard of the verification system for concurrent program. It shows how we achieved it. Moreover, some problems we met in R&D and some technologies we applied are discussed in the paper.
中图分类号:
高祺,蒋昌俊. 并发验证系统中操作向导的设计与实现[J]. , 2001, 27(09): 29-31.
GAO Qi,JIANG Changjun. Design and Implementation of Operation Wizard of Concurrent System[J]. , 2001, 27(09): 29-31.