论文部分内容阅读
提出了一个扩展的时间Petri网——带抑制弧时间Petri网．该网中以抑制弧结合时延变迁来描述实时系统中的中断功能；运用所提出的带抑制弧时间Petri网建立了前后台结构模式的CNC（computer numerical control）软件模型；应用所建立的模型，采用等误差直线逼近法加工一段曲率半径较小的曲线轮廓，对CNC软件中各个任务的时序逻辑进行了分析，并给出了时序分析结果．结果表明，无须对软件进行实际的运行测试，只需要知道CNC软件的时间参数和结构以及控制要求，就可以运用所建立的模型，正确地对该类C