论文部分内容阅读
自动制造系统（ＡＭＳｓ）Ｐｅｔｒｉ网控制器形式化设计是ＡＭＳｓ Ｐｅｔｒｉ网控制器自动设计的理论基础。本文以ＡＭＳｓ计划层和调度层生成的工序序列和资源需求序列为基础，为顺序共享资源ＡＭＳｓ设计了一种规格说明语言。通过对位置和变迁引入输入输出状态函数，结合所设计的规格说明语言，可以自动生成ＡＭＳｓ实时控制ＰＥＴＲＩ网控制器的表格表达式，该表达式为模型分析和ＡＭＳｓ控制软件自动生成奠定了基础。最后，用