Your browser does not support JavaScript!
http://iet.metastore.ingenta.com
1887

Liveness-enforcing supervisor design for a class of generalised petri net models of flexible manufacturing systems

Liveness-enforcing supervisor design for a class of generalised petri net models of flexible manufacturing systems

For access to this article, please select a purchase option:

Buy article PDF
£12.50
(plus tax if applicable)
Buy Knowledge Pack
10 articles for £75.00
(plus taxes if applicable)

IET members benefit from discounts to all IET publications and free access to E&T Magazine. If you are an IET member, log in to your account and the discounts will automatically be applied.

Learn more about IET membership 

Recommend Title Publication to library

You must fill out fields marked with: *

Librarian details
Name:*
Email:*
Your details
Name:*
Email:*
Department:*
Why are you recommending this title?
Select reason:
 
 
 
 
 
IET Control Theory & Applications — Recommend this title to your library

Thank you

Your recommendation has been sent to your librarian.

The importance of siphons is well recognised in the analysis and control of deadlocks in Petri nets. Deadlock prevention problems are considered for S4PR, a class of generalised Petri nets, that can model well a large class of flexible manufacturing systems (FMS). Siphons in a plant net model are divided into elementary and dependent ones. Deadlock prevention is achieved by adding monitors (control places) to make every elementary siphon satisfy the maximal controlled-siphon property. Conditions are developed under which a dependent siphon is maximally controlled when its elementary siphons are so. The max-controllability of a dependent siphon is ensured by properly supervising the control depth variables of its elementary siphons via linear integer programming techniques. Compared with existing methods, this policy requires a much smaller number of supervisory monitors. Finally, the application of this approach is illustrated by an FMS example.

References

    1. 1)
      • Tricas, F., Vallès, F.G., Colom, J.M., Ezpeleta, J.: `A structural approach to the problem of deadlock prevention in processes with resources', Proc. WODES'98, 1998, Italy, p. 273–278.
    2. 2)
    3. 3)
      • F.S. Hsien , S.C. Chang . Dispatching-driven deadlock avoidance controller synthesis for flexible manufacturing systems. IEEE Trans. Robot. Autom. , 2 , 196 - 209
    4. 4)
    5. 5)
      • M.D. Jeng , X.L. Xie , S.L. Chung . ERCN*-merged nets for modeling degraded behavior and parallel processes in semiconductor manufacturing systems. IEEE Trans. Syst., Man, Cybern., Part A , 1 , 102 - 112
    6. 6)
      • Uzam, M., Zhou, M.C.: `Iterative synthesis of Petri net based deadlock prevention policy for flexible manufacturing systems', Proc. IEEE Int. Conf. on Systems, Man, and Cybernetics, 2004, Netherlands, p. 4260–4265.
    7. 7)
      • T. Kumaran , W. Chang , H. Cho . A structured approach to deadlock detection, avoidance, and resolution in flexible manufacturing systems. Int. J. Prod. Res. , 10 , 2361 - 2379
    8. 8)
      • Z.W. Li , M.C. Zhou . Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems. IEEE Trans. Syst., Man, Cybern., Part A , 1 , 38 - 51
    9. 9)
      • F. Tricas , F.G. Vallès , J.M. Colom , J. Ezpeleta . An iterative method for deadlock prevention in FMSs.
    10. 10)
    11. 11)
      • Ezpeleta, J., García-Vallés, F., Colom, J.M.: `A class of well structured Petri nets for flexible manufacturing systems', Proc. 19th Int. Conf. on Application and Theory of Petri Nets, 1998, Portugal, p. 64–83.
    12. 12)
      • Tricas, F., Vallès, F.G., Colom, J.M., Ezpeleta, J.: `A Petri net structure based deadlock prevention solution for sequential resource allocation', Proc. IEEE Int. Conf. on Robotics Automation, 2005, Spain, p. 271–277.
    13. 13)
      • M. Uzam . An optimal deadlock prevention policy for flexible manufacturing systems using Petri net models with resources and the theory of regions. Int. J Adv. Manuf. Tech. , 3 , 192 - 208
    14. 14)
      • J. Ezpeleta , L. Recalde . A deadlock avoidance approach for non-sequential resource allocation systems. IEEE Trans. Syst., Man, Cybern., Part A , 1 , 93 - 101
    15. 15)
      • M. Uzam , M.C. Zhou . An improved iterative synthesis method for liveness enforcing supervisors of flexible manufacturing systems. Int. J. Prod. Res. , 10 , 1987 - 2030
    16. 16)
      • Barkaoui, K., Chaoui, A., Zouari, B.: `Supervisory control of discrete event systems based on structure theory of Petri nets', Proc. IEEE Int. Conf. on Systems, Man, and Cybernetic, 1997, Orlando, Florida, U.S.A, p. 3750–3755.
    17. 17)
    18. 18)
    19. 19)
      • M.C. Zhou , K. Venkatesh . (1998) Modelling, simulation and control of flexible manufacturing systems: a Petri net approach.
    20. 20)
    21. 21)
      • Barkaoui, K., Abdallah, I.B.: `A deadlock prevention method for a class of FMS', Proc. IEEE Int. Conf. on Systems, Man, and Cybernetics, 1995, Vancouver, BC, Canada, p. 4119–4124.
    22. 22)
    23. 23)
      • M.C. Zhou , F. DiCesare . Parallel and sequential mutual exclusions for Petri net modelling for manufacturing systems. IEEE Trans. Robot. Autom. , 4 , 515 - 527
    24. 24)
    25. 25)
    26. 26)
    27. 27)
      • Tricas, F., Martinez, J.: `An extension of the liveness theory for concurrent sequential processes competing for shared resources', Proc. IEEE Int. Conf. on Systems, Man, and Cybernetics, 1995, Vancouver, BC, Canada, p. 3035–3040.
    28. 28)
      • M. Uzam , Z.W. Li , M.C. Zhou . Identification and elimination of redundant control places in Petri net based liveness enforcing supervisors of FMS. Int. J. Adv. Manuf. Tech.
    29. 29)
      • Zouari, B., Barkaoui, K.: `Parameterized supervisor synthesis for a modular class of discrete event systems', Proc. IEEE Int. Conf. on Systems Man, and Cybernetics, 2003, p. 1874–1879.
    30. 30)
      • M.P. Fanti , M.C. Zhou . Deadlock control methods in automated manufacturing systems. IEEE Trans. Syst., Man, Cybern., Part A , 1 , 5 - 22
    31. 31)
      • Barkaoui, K., Pradat-Peyre, J.F.: `On liveness and controlled siphons in Petri nets', Proc. 17th Int. Conf. on Application and Theory of Petri Nets, 1996, Osaka, Japan, p. 57–72.
    32. 32)
    33. 33)
      • Y.S. Huang , M.D. Jeng , X.L. Xie , T.H. Chung . Siphon-based deadlock prevention policy for flexible manufacturing systems. IEEE Trans. Syst., Man, Cybern. , 6 , 1248 - 1256
    34. 34)
      • Z.W. Li , M.C. Zhou . Clarifications on the definitions of elementary siphons of Petri nets. IEEE Trans. Syst., Man, Cybern., Part A , 6 , 1227 - 1229
    35. 35)
      • R.A. Wysk , N.S. Yang , S. Joshi . Detection of deadlocks in flexible manufacturing systems. IEEE Trans. Robot. Autom. , 6 , 853 - 859
    36. 36)
    37. 37)
      • Lindo Systems Inc.: http://www.lindo.com, 2006.
    38. 38)
      • M.D. Jeng , X.L. Xie . Analysis of modularly composed nets by siphons. IEEE Trans. Syst., Man, Cybern. , 4 , 399 - 406
http://iet.metastore.ingenta.com/content/journals/10.1049/iet-cta_20060218
Loading

Related content

content/journals/10.1049/iet-cta_20060218
pub_keyword,iet_inspecKeyword,pub_concept
6
6
Loading
This is a required field
Please enter a valid email address