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

New controllability condition for siphons in a class of generalised Petri nets

New controllability condition for siphons in a class of generalised Petri nets

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

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

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.

  • Author(s): G. Liu 1 ; Z. Li 1, 2 ; C. Zhong 1
    • View affiliations
    • Affiliations: 1: School of Electro-Mechanical Engineering, Xidian University, Xi'an, People's Republic of China
      2: Automation Technology Laboratory, Institute of Computer Science, Martin-Luther Universität of Halle-Wittenburg, Halle, Germany
  • Source: Volume 4, Issue 5, May 2010, p. 854 – 864
    DOI:  10.1049/iet-cta.2009.0264 , Print ISSN 1751-8644, Online ISSN 1751-8652
© The Institution of Engineering and Technology
Published
Errata or comment

Over the last two decades, a number of deadlock control policies based on Petri nets were proposed for flexible manufacturing systems (FMSs). As a structural object of a Petri net, siphons are widely used in deadlock control. For system of sequential systems with shared resources (S4R), the current deadlock control policies based on max or max′-controlled siphons tend to overly restrict the behaviour of a controlled system. The controllability conditions of a siphon are relaxed by a new concept called max″-controlled ones. We conclude that an S4R is live if all its siphons are max″-controlled. Compared with the existing ones, the proposed one is more general. Examples are given to illustrate it.

Inspec keywords: Petri nets; controllability; flexible manufacturing systems; concurrency control

Other keywords: deadlock control policies; max'-controlled siphons; sequential systems; max''-controlled siphons; controllability condition; generalised Petri nets; controlled system behaviour; shared resources; flexible manufacturing systems

Subjects: Combinatorial mathematics; Control system analysis and synthesis methods; Control applications in manufacturing processes

References

    1. 1)
      • M.D. Jeng , X.L. Xie , M.C. Zhou , M.P. Fanti . (2005) Deadlock detection and prevention of automated manufacturing systems using Petri nets and siphons.
    2. 2)
      • N.Q. Wu , M.C. Zhou . Modeling and deadlock avoidance of automated manufacturing systems with multiple automated guided vehicles. IEEE Trans. Syst. Man Cybern. B , 6 , 1193 - 1202
    3. 3)
      • Z.A. Banaszak , B.H. Krogh . Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows. IEEE Trans. Robot. Autom. , 724 - 734
    4. 4)
      • S.A. Reveliotis . (2005) On the siphon-based characterization of liveness and liveness-enforcing supervision for sequential resource allocation systems’, Deadlock resolution in computer-integrated systems.
    5. 5)
      • N.Q. Wu , M.C. Zhou . Modeling and deadlock control of automated guided vehicle systems. IEEE/ASME Trans. Mechatron. , 1 , 50 - 57
    6. 6)
      • R.A. Wysk , N.S. Yang , S. Joshi . Resolution of deadlocks in flexible manufacturing systems: avoidance and recovery approaches. J. Manuf. Syst. , 2 , 128 - 138
    7. 7)
      • K.Y. Xing , M.C. Zhou , H.X. Liu , F. Tian . Optimal Petri net-based polynomial-complexity deadlock avoidance policies for automated manufacturing systems. IEEE Trans. Syst. Man Cybern. A , 1 , 188 - 199
    8. 8)
      • N.Q. Wu , M.C. Zhou . Avoiding deadlock and reducing starvation and blocking in automated manufacturing systems based on a Petri net model. IEEE Trans. Robot. Autom. , 5 , 658 - 669
    9. 9)
      • L. Piroddi , R. Cordone , I. Fumagalli . Combined siphon and marking generation for deadlock prevention in Petri nets. IEEE Trans. Syst. Man Cybern. A, Syst. Humans , 3 , 650 - 661
    10. 10)
      • N. Viswanadham , Y. Narahari , T. Johnson . Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models. IEEE Trans. Robot. Autom. , 6 , 713 - 723
    11. 11)
      • 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. A , 1 , 38 - 51
    12. 12)
      • C.F. Zhong , Z.W. Li . On self-liveness of a class of Petri net models for flexible manufacturing systems. IET Control Theory Appl. , 3 , 403 - 410
    13. 13)
      • Huang, Y.S., Jeng, M.D., Xie, X.L., Chung, S.L.: `A deadlock prevention policy for flexible manufacturing systems using siphons', Proc. IEEE Int. Conf. on Robotics and Automation, 2001, p. 541–546.
    14. 14)
      • 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.
    15. 15)
      • M.D. Jeng , X.L. Xie . Analysis of modularly composed nets by siphons. IEEE Trans. Syst. Man Cybern. A , 4 , 399 - 406
    16. 16)
      • T. Murata . Petri nets: properties, analysis, and applications. Proc. IEEE , 4 , 541 - 580
    17. 17)
      • L. Piroddi , R. Cordone , I. Fumagalli . Selective siphon control for deadlock prevention in Petri nets. IEEE Trans. Syst. Man Cybern. A, Syst. Humans , 6 , 1337 - 1348
    18. 18)
      • T.K. Kumaran , W. Chang , H. Cho , R.A. Wysk . A structured approach to deadlock detection, avoidance and resolution in flexible manufacturing systems. Int. J. Prod. Res. , 10 , 2361 - 2379
    19. 19)
      • Tricas, F., García-Vallés, F., Colom, J.M., Eapeleta, J.: `A Petri net structure-based deadlock prevention solution for sequential resource allocation systems', Proc. IEEE Int. Conf. on Robotics and Automation, 2005, p. 271–277.
    20. 20)
      • 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. Technol. , 150 - 168
    21. 21)
      • L. Piroddi , M. Cossalter , L. Ferrarini . A resource decoupling approach for deadlock prevention in FMS. Int. J. Adv. Manuf. Technol. , 157 - 170
    22. 22)
      • M. Lawley . Deadlock avoidance for production systems with flexible routing. IEEE Trans. Robot. Autom. , 3 , 497 - 509
    23. 23)
      • M.P. Fanti , M.C. Zhou . Deadlock control methods in automated manufacturing systems. IEEE Trans. Syst. Man Cybern. A , 1 , 5 - 22
    24. 24)
      • M. Uzam . The use of Petri net reduction approach for an optimal deadlock prevention policy for flexible manufacturing systems. Int. J. Adv. Manuf. Technol. , 204 - 219
    25. 25)
      • M. De la Sen , A. Ibeas . On the stability properties of linear dynamic timevarying unforced systems involving switched between parameterizations from topologic considerations via graph theory. Discret. Appl. Math. , 1 , 7 - 25
    26. 26)
      • M. Uzam , M.C. Zhou . An iterative synthesis approach to Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Trans. Syst. Man Cybern. A, Syst. Humans , 362 - 371
    27. 27)
      • Z.W. Li , M. Zhao . On controllability of dependent siphons for deadlock prevention in generalized Petri nets. IEEE Trans. Syst. Man Cybern. A , 2 , 369 - 384
    28. 28)
      • Y.S. Huang , M.D. Jeng , X.L. Xie , S.L. Chung . Deadlock prevention policy based on Petri nets and siphons. Int. J. Prod. Res. , 2 , 283 - 305
    29. 29)
      • E. Badouel , P. Darondeau , W. Reisig , G. Rozenberg . Theory of regions.
    30. 30)
      • 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
    31. 31)
      • N.Q. Wu . Necessary and sufficient conditions for deadlock-free operation in flexible manufacturing systems using a colored Petri net model. IEEE Trans. Syst. Man Cybern. C , 2 , 182 - 204
    32. 32)
      • M. Lawley , S. Reveliotis . Deadlock avoidance for sequential resource allocation systems: hard and easy cases. Int. J. Flexible Manuf. Syst. , 4 , 385 - 404
    33. 33)
      • 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. Technol. , 3 , 192 - 208
    34. 34)
      • Barkaoui, K., Pradat-Peyre, J.F.: `On liveness and controlled siphons in Petri nets', Proc. 17th Int. Conf. Appl. Theory of Petri Nets, 1996, p. 57–72, (LNCS, 1091).
    35. 35)
      • I.B. Abdallah , H.A. ElMaraghy . Deadlock prevention and avoidance in FMS: a Petri net based approach. Int. J. Adv. Manuf. Technol. , 10 , 704 - 715
    36. 36)
      • D.Y. Chao . Max′-controlled siphons for liveness of S3PGR2. IET Control Theory Appl. , 4 , 933 - 936
    37. 37)
      • M.P. Fanti , B. Maione , S. Mascolo , B. Turchiano . Event-based feedback control for deadlock avoidance in flexible production systems. IEEE Trans. Robot. Autom. , 347 - 363
    38. 38)
      • 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. Appl. Theory of Petri Nets, 1998, Portugal, p. 64–83.
    39. 39)
      • F. Chu , X.L. Xie . Deadlock analysis of Petri nets using siphons and mathematical programming. IEEE Trans. Robot. Autom. , 6 , 793 - 804
    40. 40)
      • A. Ghaffari , N. Rezg , X.L. Xie . Design of a live and maximally permissive Petri net controller using the theory of regions. IEEE Trans. Robot. Autom. , 1 , 137 - 142
    41. 41)
      • Tricas, F., García-Vallès, F., Colom, J.M., Ezpeleta, J.: `An iterative method for deadlock prevention in FMSs', Proc. Fifth Workshop on Discrete Event Systems, 2000, p. 139–148.
    42. 42)
      • Y.S. Huang , M.D. Jeng , X.L. Xie , D.H. Chung . Siphon-based deadlock prevention policy for flexible manufacturing systems. IEEE Trans. Syst. Man Cybern. A, Syst. Humans , 6 , 1248 - 1256
    43. 43)
      • J. Park , S.A. Reveliotis . Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings. IEEE Trans. Autom. Control , 10 , 1572 - 1583
    44. 44)
      • Z.W. Li , M.C. Zhou . (2009) Deadlock resolution in automated manufacturing systems: a novel Petri net approach.
    45. 45)
      • K. Murota . Combinatorial dynamical system theory general framework and controllability criteria. Discret. Appl. Math. , 3 , 241 - 265
    46. 46)
      • N.Q. Wu , M.C. Zhou . Deadlock resolution in automated manufacturing systems with robots. IEEE Trans. Autom. Sci. Eng. , 3 , 474 - 480
    47. 47)
      • S.A. Reveliotis , M. Lawley , P. Ferreira . Polynomial complexity deadlock avoidance policies for sequential resource allocation systems. IEEE Trans. Autom. Control , 1344 - 1357
    48. 48)
      • X.L. Xie , M.D. Jeng . ERCN-merged nets and their analysis using siphons. IEEE Trans. Robot. Autom. , 4 , 692 - 703
    49. 49)
      • J. Ezpeleta , J.M. Colom , J. Martinez . A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Trans. Robot. Autom. , 2 , 173 - 184
http://iet.metastore.ingenta.com/content/journals/10.1049/iet-cta.2009.0264
Loading

Related content

content/journals/10.1049/iet-cta.2009.0264
pub_keyword,iet_inspecKeyword,pub_concept
6
6
Loading
Comment
A comment has been published for this article:
Correction to ‘New controllability condition for siphons in a class of generalised Petri nets’
Print this page
This is a required field
Please enter a valid email address