Author:
Hou YiFan,Li ZhiWu,Zhao Mi,Liu Ding
Abstract
Purpose
– Siphon-based deadlock control in a flexible manufacturing system (FMS) suffers from the problems of computational and structural complexity since the number of siphons grows exponentially with respect to the size of its Petri net model. In order to reduce structural complexity of a supervisor, a set of elementary siphons derived from all strict minimal siphons (SMS) is explicitly controlled. The purpose of this paper is through fully investigating the structure of a class of generalized Petri nets, WS3PR, to compute all SMS and a compact set of elementary siphons.
Design/methodology/approach
– Based on graph theory, the concepts of initial resource weighted digraphs and restricted subgraphs are proposed. Moreover, the concept of augmented siphons is proposed to extend the application of elementary siphons theory for WS3PR. Consequently, the set of elementary siphons obtained by the proposed method is more compact and well suits for WS3PR.
Findings
– In order to demonstrate the proposed method, an FMS example is presented. All SMS and elementary siphons can be derived from initial resource weighted digraphs. Compared with those obtained by the method in Li and Zhou, the presented method is more effective to design a structural simple liveness-enforcing supervisor for WS3PR.
Originality/value
– This work presents an effective method of computing SMS and elementary siphons for WS3PR. Monitors are added for the elementary siphons only, and the controllability of every dependent siphon is ensured by properly supervising its elementary ones. A same set of elementary siphons can be admitted by different WS3PR with isomorphic structures.
Subject
Computational Theory and Mathematics,Computer Science Applications,General Engineering,Software
Reference28 articles.
1. Bondy, J.A.
and
Murty, U.S.R.
(2007), Graph Theory, Springer, London.
2. Dymarek, A.
and
Dzitkowski, T.
(2012), “Method of active synthesis of discrete fixed mechanical systems”, Journal of Vibroengineering, Vol. 14 No. 2, pp. 458-463.
3. Ezpeleta, J.
and
Recalde, L.
(2004), “A deadlock avoidance approach for nonsequential resource allocation systems”, IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans, Vol. 34 No. 1, pp. 93-101.
4. Ezpeleta, J.
,
Colom, J.M.
and
Martinez, J.
(1995), “A Petri net based deadlock prevention policy for flexible manufacturing systems”, IEEE Transactions on Robotics and Automation, Vol. 11 No. 2, pp. 173-184.
5. Fanti, M.P.
and
Zhou, M.C.
(2004), “Deadlock control methods in automated manufacturing systems”, IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans, Vol. 34 No. 1, pp. 5-22.
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献