论文部分内容阅读
今天的自动化工业被对增加的生产率，更高的灵活性，和更高的个性的需要驾驶，并且由定制、更复杂的控制答案描绘。在加工工业，逻辑控制器设计经常是一本手册，基于经验，并且这样一个错误容易的过程。典型地，说明被一套非正式的要求和一个技术流程图给，两个是直接被翻译成控制代码。这篇论文建议控制程序被经由清楚地定义的中间的格式转变要求作为一份顺序的函数图表(SFC ) 在构造的一个方法。为分析的目的，产生 SFC 能算法上被翻译成预定自动机。严密确认能被用来如果工厂的一个正式模型是可得到的，决定所有说明是否满足它那么与逻