自动制造系统异常情况Petri网控制器的形式化设计方法
A Formal Design Method of Petri Net Controller for Exception Handling in Automated Manufacturing System
-
摘要: CIMS,FMS等自动制造系统的控制器一般由有序控制器和异常情况处理控制器两个部 分组成.两者都可以用Petri网来实现.这里讨论用于异常情况处理的Petri网控制器的形 式化设计方法,其基本思想是利用状态表作为异常情况处理的规格说明语言,然后将状态表形 式化描述为MOORE自动机,最后给出构造与MOORE自动机行为等价的Petri网控制器 的形式化设计方法.并且用一个实例说明其设计过程.该方法也适用于Petri网的自动建 模.Abstract: Controllers in CIMS, FMS, etc. are divided into two classes: sequential controllers and exception handling controllers. Both can be realized by the Petri net. A formal design method of Petri net controller for exception handling is dealt with in this paper. The basic idea is as follow. The state table is used as the specification of exception handling at first, then the state table is described as a MOORE automation and finally, the formal design method for the Petri net controller equated with the MOORE automation is constructed. An example is given to illustrate the design procedure for this method. This method is also suitable for automated generation of Petri nets.
-
Key words:
- Automated manufacturing system /
- exception handling /
- Petri net /
- controllers
-
计量
- 文章访问数: 2330
- HTML全文浏览量: 50
- PDF下载量: 1125
- 被引次数: 0
下载:
