Synthesis of liveness enforcing supervisor for automated manufacturing systems using insufficiently marked siphons

Hu, Hesuan; Li, Zhiwu
August 2010
Journal of Intelligent Manufacturing;Aug2010, Vol. 21 Issue 4, p555
Academic Journal
A liveness enforcing supervisor synthesis technique is presented for Petri net modeling automated manufacturing systems. The insufficiently marked siphons are deployed to characterize the deadlock situations in an incidence matrix based way, which makes possible the study of the modeled systems from both structural and algebraic perspectives. The approach generates at each step a generalized mutual exclusion constraint which contains only markings for which liveness can be enforced. To avoid the explicit enumeration of all the set of strict minimal siphons, a set of mathematical programming formulations are established to implement the derivation of insufficiently marked siphons from the PT-transformation of the plant system. Further, a generalized elementary siphon control approach is involved such that the final supervisor can be structurally simplified. Several examples are used to illustrate these results.


Related Articles

  • Deadlock control of flexible manufacturing systems via invariant–controlled elementary siphons of petri nets. Li, Zhiwu; Wei, Na // International Journal of Advanced Manufacturing Technology;May2007, Vol. 33 Issue 1/2, p24 

    Effective resolution for deadlock problems plays an important role in the operation of automated flexible manufacturing systems (FMS). Based on P-invariants and elementary siphons of Petri nets, a deadlock prevention policy is developed for a special class of Petri nets that can well model many...

  • Petri net-based workflow modelling and analysis of the integrated manufacturing business processes. Ming Dong; Chen, F. Frank // International Journal of Advanced Manufacturing Technology;Oct2005, Vol. 26 Issue 9/10, p1163 

    The well-behaved properties in workflow systems are very important for business processes. In this paper, a structured business process modelling approach by using free-choice Petri nets and workflow analysis techniques is proposed. This approach can be used to verify the soundness of workflow...

  • Augmented Marked Graphs. King-Sing Cheung // Informatica (03505596);Apr2008, Vol. 32 Issue 1, p85 

    Augmented marked graphs possess some structural characteristics desirable for modelling shared resource systems such as manufacturing systems. However, there are only a few known properties on augmented marked graphs, and these known properties are mainly on liveness and reversibility. In this...

  • Enhancement of an efficient liveness-enforcing supervisor for flexible manufacture systems. Yi-Sheng Huang; Yen-Liang Pan // International Journal of Advanced Manufacturing Technology;Jul2010, Vol. 48 Issue 5-8, p725 

    This paper presents an enhanced efficient control method to obtain a maximally permissive deadlock prevention policy for flexible manufacturing systems (FMSs) based on Petri nets and the theory of regions. It is well known that the marking/transition-separation instances (MTSIs) method with the...

  • Verification of Production Activity Control Architecture Using PETRI Net Tools. Butt, Shahid Ikramullah; Sun Hou-Fang; Wain, Amir Manzur // Information Technology Journal;2007, Vol. 6 Issue 6, p924 

    A Petri net is viewed as a valuable tool for studying and analyzing systems. Being a graphical tool, Petri nets can be used as a visual-communication aid similar to flow charts, block diagrams and networks. Beijing Institute of Technology-Production Activity Control (BIT-PAC) architecture has...

  • A Deadlock Prevention Policy for a Class of Petri Nets S³PMR. MINGMING YAN; ZHIWU LI; NA WEI; MI ZHAO // Journal of Information Science & Engineering;Jan2009, Vol. 25 Issue 1, p167 

    This paper focuses on the problem of deadlocks in automated flexible manufacturing systems (FMS) where deadlocks are caused by unmarked siphons in their Petri net models. A deadlock prevention policy is proposed for a subclass of Petri nets, S³PMR that can well model a large class of FMS. We...

  • A PETRI NET APPROACH TO THE MODELLING AND ANALYSIS OF FLEXIBLE MANUFACTURING SYSTEMS. Narahari, Y.; Viswanadham, N. // Annals of Operations Research;1985, Vol. 3 Issue 1-4, p449 

    In this paper we present an approach for modelling and analyzing flexible manufacturing systems (FMSs) using Petri nets. In this approach, we first build a Petri net model (PNM) of the given FMS in a bottom-up fashion and then analyze important qualitative aspects of FMS behaviour such as...

  • Modelling and Analysis of an Integrated Automated Guided Vehicle System using Coloured Petri Net. Aized, Tauseef; Takahashi, Koji; Hagiwara, Ichiro // World Congress on Engineering 2007 (Volume 2);2007, Vol. 2, p1038 

    This paper analyses an automated guided vehicle system which is embedded in a multi-product, multi-line, multi-stage flexible manufacturing system. Three different guide path configurations have been developed for this study and the performance of the manufacturing system has been discussed from...

  • A Meta-Heuristics for the Flexible Manufacturing System Problem. Zahia, Khaldouna; Messaoud, Djeghaba // International Review of Mechanical Engineering;Mar2010, Vol. 4 Issue 3, p330 

    This paper describes optimization of process planning in flexible manufacturing systems (FMSs). The FMS can be described as an integrated manufacturing system consisting of machines, robots, and conveyor. While FMSs give great advantages through the flexibility, FMSs pose complex problems of job...


Read the Article


Sorry, but this item is not currently available from your library.

Try another library?
Sign out of this library

Other Topics