Design Minimum Monitors and Maximally Permissive Supervisors Models of FMS by S4PR-Nets

摘要

The design minimum monitors and maximally permissive supervisors models of deadlock control of Flexible Manufacturing Systems(FMSs) on a large scale by a class of S^{4PR-Net are presented in this paper. We present the liveness analysis and deadlock control method of the sequential FMSs that allow for the most general resource allocation and flexible routing. Design minimal monitors for the different kinds of multi-unit resource systems that require a class of Petri Net (PN), namely (S4PR): the systems of sequential systems with shared resources. The siphons give an effective tool for liveness analysis of Petri net which specializes in describing dynamic interactions in systems. A new selection of deadlock prevention, which is used PN's as the tool for both, modeling and controlling the system. Liveness is an important property in an S4PR, as it implies that the optimal controlled system is obtained. This methodology based on the siphon PN analysis is a minimal siphon containing the support of a P-semiflow. The performance comparison of some strategies of this example is given.}