并发验证系统中操作向导的设计与实现

摘要：

介绍并发验证系统中的操作向导.给出了具体的实现方案;此外,研发过程中遇到的相关问题和采用的技术也是讨论的对象.

关键词：Petri网模型、操作向导、处理模块、对话栏

所属期刊栏目：27

分类号：TP273(自动化技术及设备)

资助基金：国家自然科学基金;教育部全国优秀博士学位论文作者专项基金;上海市"曙光计划"

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：29-31