基于带抑制弧时间Petri网的CNC软件模型  

The CNC software model based on time Petri net with suppressing arc

作　　者：罗文辉[1] 

机构地区：[1]武汉理工大学自动化学院,湖北武汉430070

出　　处：《华中科技大学学报（自然科学版）》2006年第6期63-66,共4页Journal of Huazhong University of Science and Technology(Natural Science Edition)

基　　金：湖北省自然科学基金资助项目(2005ABA282).

摘　　要：提出了一个扩展的时间Petri网———带抑制弧时间Petri网.该网中以抑制弧结合时延变迁来描述实时系统中的中断功能;运用所提出的带抑制弧时间Petri网建立了前后台结构模式的CNC(computernumericalcontrol)软件模型;应用所建立的模型,采用等误差直线逼近法加工一段曲率半径较小的曲线轮廓,对CNC软件中各个任务的时序逻辑进行了分析,并给出了时序分析结果.结果表明,无须对软件进行实际的运行测试,只需要知道CNC软件的时间参数和结构以及控制要求,就可以运用所建立的模型,正确地对该类CNC软件进行时序逻辑分析,评估CNC软件的控制性能.所提出的模型为在CNC软件总体设计阶段就能对其进行时序逻辑分析,为评估CNC软件的控制性能提供了方法和工具.An expanded time Petri net, time Petri net with suppressing arc was defined, in which the interrupt capability in real-time system was described by using suppressing arc with time delay transition. Computer Numerical Control （CNC） software model in a front-back frame work pattern was established by this new time Petri net. According to the control requirement for the process, a curve contour whose curvature radius is relatively small with equal error line approximation was formed by the model. Time sequences of every task in the CNC software were analyzed. The result showed that time sequences logic analysis and the evaluation were carried out of theses types of software, and analyzed correctly without testing the software movement proceeding physically, if time parameter, configuration and controls requirements for CNC software had been known, it would be possible make use of a model for establishment. The model provides the method and tool for preceding the time sequences logic analysis and evaluating the control performance during designing of CNC software.

关 键 词：时间PETRI网 CNC软件 时序逻辑 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]