资源循环共享的Petri网的形式化设计方法

资源共享是子Ｐｅｔｒｉ网耦合为总网的一种途径，其中对资源循环共享是其重要方式之一．为了研究Ｐｅｔｒｉ网的形式化方法，必须首先研究基本子Ｐｅｔｒｉ网的设计，而后研究子Ｐｅｔｒｉ网的耦合．以往的研究多集中于竞争共享资源的方式上，很少涉及循环共享，本文在以往工作的基础上，提出了资源循环共享的Ｐｅｔｒｉ网设计的形式化方法，并给出了两个实例，举例说明了上述形式化设计方法．

自动制造系统异常情况Petri网控制器的形式化设计方法

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