节点文献

Petri网可视化工具的设计与实现

Design of graphic Petri net tool and its implementation

  • 推荐 CAJ下载
  • PDF下载
  • 不支持迅雷等下载工具,请取消加速工具后下载。

【作者】 曾小伟; 向华; 陈吉红; 黄菲;

【Author】 Zeng Xiaowei Xiang Hua Chen Jihong Huang Fei Postgraduate; National NC System Eng. Research Center, Huazhong Univ. of Sci. & Tech., Wuhan 430074, China.

【机构】 华中科技大学国家数控系统工程技术研究中心; 武汉市邮电科学研究院;

【摘要】 应用面向对象思想和可视化编程工具VisualC + +语言开发了图形化的Petri网建模工具GPNT ,GP NT系统作为一个计算机辅助设计和分析工具 ,使用户可在交互式的计算机图形方式下进行Petri网的建立、删除、修改和存储 .并可通过对关联矩阵的初等线性变换求解Petri网的S不变量和T不变量 ,本GPNT系统可用于Petri网模型的设计、分析和动态仿真

【Abstract】 A kind of computer aided design and analysis tool (GPNT) was developed by using Visual C++ language. Under the interactive computer graphic environment of GPNT, users could easily construct, delete, modify and save Petri nets. On the basis of incidence matrix of Petri nets, S invariant and T invariant could be generated by elementary linear transitions. GPNT was used to assist the design, analysis and dynamic simulation of Petri nets.

【关键词】 计算机辅助设计; Petri网; 可视化工具;
【Key words】 CAD; Petri nets; graphic tool;
【基金】 国家自然科学基金资助项目 (5 9775 0 89);武汉市晨光基金资助项目 (970 0 610 1) .
  • 【文献出处】 华中科技大学学报(自然科学版) ,Journal of Huazhong University of Science and Technology , 编辑部邮箱 ,2002年06期
  • 【分类号】TP393.03
  • 【被引频次】48
  • 【下载频次】321
节点文献中: