A Formal Design Method of Petri Net Controller for Exception Handling in Automated Manufacturing System
自动制造系统异常情况Petri网控制器的形式化设计方法

Controllers in CIMS, FMS, etc. are divided into two classes: sequential controllers and exception handling controllers. Both can be realized by the Petri net. Aformal design method of Petri net controller for exception handling is dealt with inthis paper. The basic idea is as follow. The state table is used as the specificationof 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 equatedwith the MOORE automation is constructed. An example is given to illustrate thedesign procedure for this method. This method is also suitable for automated generation of Petri nets.