Identification and elimination of redundant control places in petri net based liveness enforcing supervisors of FMS |
| |
Authors: | Murat Uzam Zhiwu Li MengChu Zhou |
| |
Affiliation: | 1. Mühendislik-Mimarl?k Fakültesi, Elektrik-Elektronik Mühendisli?i B?lümü, Kampüs, Ni?de üniversitesi, 51200, Ni?de, Turkey 2. School of Electro-Mechanical Engineering, Xidian University, No. 2, South Taibai Road, Xi’an, 710071, People’s Republic of China 3. Department of Electrical and Computer Engineering, New Jersey Institute of Technology, Newark, NJ, 07102, USA
|
| |
Abstract: | In the past two decades, a number of Petri-net-based approaches were proposed for deadlock prevention in flexible manufacturing
systems (FMS). An FMS is modeled as a Petri net, and then the controller or the liveness enforcing supervisor (LES) is computed as a Petri net. A live Petri net (LPN) guarantees deadlock-free operations of the modeled FMS. An LES consists of a number of control places (CPs) and their related arcs. To-date most of the attention has been paid to make the underlying Petri net models live without
questioning whether or not all of the computed CPs are necessary. It is often the case that the number of CPs determined by these approaches is not minimal. Reducing it in order to reduce the complexity of the controlled system is
an important issue that was not tackled before. To address this problem, this paper proposes a redundancy test for an LES of an FMS. The proposed approach takes an LPN model, controlled by n
CPs, as input and in the existence of any redundant CPs it produces redundant and necessary CPs. The proposed approach is applicable to any LPN consisting of a Petri net model (PNM), controlled by means of a set of CPs. |
| |
Keywords: | Deadlock Deadlock prevention Flexible manufacturing systems Liveness enforcing supervisor Petri nets (PN) Redundancy test |
本文献已被 SpringerLink 等数据库收录! |
|