论文部分内容阅读
ＣＩＭＳ，ＦＭＳ等自动制造系统的控制器一般由有序控制器和异常情况处理控制器两个部分组成，两者都可以用Ｐｅｔｒｉ网来实现。这里讨论用于异常情况处理的Ｐｅｔｒｉ网控制器的形式化设计方法，其基本思想是利用状态表作为常情况处理的规格说明语言，然后将状态表形式化描为ＭＯＯＲＥ自动机，最后给出构造与ＭＯＯＲＥ自动机行为等价的Ｐｅｔｒｉ网控制器的形式化设计方法。并且用一个实例说明其设计过程。该方法也适用于Ｐｅｔ