Enumeration of lost states of a suboptimal control model of a well-known S3PR

D.Y. Chao

Enumeration of lost states of a suboptimal control model of a well-known S³PR

Access Full Text

Enumeration of lost states of a suboptimal control model of a well-known S³PR

Author(s): D.Y. Chao
DOI: 10.1049/iet-cta.2010.0186

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

Buy article PDF

Buy Knowledge Pack

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

IET Control Theory & Applications — Recommend this title to your library

Thank you

Your recommendation has been sent to your librarian.

Author(s): D.Y. Chao ¹
- Affiliations: 1: MIS, National ChengChi University, Taipei, Taiwan
Source: Volume 5, Issue 11, 21 July 2011, p. 1277 – 1286
DOI: 10.1049/iet-cta.2010.0186 , Print ISSN 1751-8644, Online ISSN 1751-8652

Published

Deadlocks halt a system completely causing a significant financial loss to a company. To resolve this problem, deadlock prevention (by adding monitors to problematic siphons) has been quite a popular research. Uzam and Zhou applied region analysis to a well-known S³PR to achieve a near-maximum permissive control policy. However, they do not list the lost states, which is essential to improve the control model. The lost states can be obtained by reachability analysis, which is a rather tedious process. Without theory, one could waste much time failing to reach more states and there is no effective solution so far in the literature. Thus, it is important to find out the condition where more states can be reached. If no more states can be reached, one should simply stop and remain satisfied with the suboptimal model obtained or employ weighted control arcs to reach more states. It is desirable to compute the gain of states without the costly reachability analysis when an alternative control policy is employed. It is interesting to explore which live states are lost in the first-met bad marking (FBM) method, which has not yet been available in the literature. This study presents the very first method to compute all lost states based on invariant without reachability analysis.

References

1. 1)
  - D.Y. Chao . Computation of elementary siphons in Petri nets for deadlock control. Comp. J. , 4 , 470 - 479
2. 2)
  - F. Chu , X.L. Xie . Deadlock analysis of Petri nets using siphons and mathematical programming. IEEE Trans. Robot. Automat. , 793 - 804
3. 3)
  - 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
4. 4)
  - Z.A. Banaszak , B.H. Krogh . Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows. IEEE Trans. Robot. Autom. , 6 , 724 - 734
5. 5)
  - 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. , 192 - 208
6. 6)
  - J. Ezpeleta , J.M. Colom , J. Martinez . A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Trans. Robot. Automat. , 173 - 184
7. 7)
  - D.Y. Chao . A graphic-algebraic computation of elementary siphons of BS3PR. J. Inf. Sci. Eng. , 6 , 1817 - 1831
8. 8)
  - 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. Automat. , 137 - 142
9. 9)
  - N.Q. Wu , W.Q. Zeng . Deadlock avoidance in AGV system using colored Petri net model. Int. J. Prod. Res. , 1 , 223 - 238
10. 10)
  - 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
11. 11)
  - Z.W. Li , M.C. Zhou . A survey and comparison of Petri net-based deadlock prevention policy for flexible manufacturing systems. IEEE Trans. Syst. Man Cybern. C, Appl. Rev. , 2 , 172 - 188
12. 12)
  - 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
13. 13)
  - 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
14. 14)
  - L. Piroddi , R. Cordone , I. Fumagalli . Combined siphon and marking generation for deadlock prevention in Petri nets. IEEE Trans. Syst. Man Cybern. A , 3 , 650 - 661
15. 15)
  - Y.Y. Shih , D.Y. Chao . Sequence of Control in S3PMR. Comput. J. (British Computer Society) , 10 , 1691 - 1703
16. 16)
  - M. Uzam , M.C. Zhou . An iterative synthesis approach Petri net-based deadlock prevention policy for flexible manufacturing systems. IEEE Trans. Syst. Man Cybern. A, Syst. Human , 3 , 362 - 371
17. 17)
  - N. Wu , M.C. Zhou . Avoiding deadlock and reducing starvation and blocking in automated manufacturing systems. IEEE Trans. Robot. Autom. , 5 , 658 - 669
18. 18)
  - 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
19. 19)
  - Z.W. Li , M.C. Zhou . (2009) Deadlock resolution in automated manufacturing systems: a novel Petri net approach.
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)
  - Z.W. Li , J. Zhang , M. Zhao . Liveness-enforcing supervisor design for a class of generalized Petri net models of flexible manufacturing systems. IET Control Theory Appl. , 4 , 955 - 967
22. 22)
  - D.Y. Chao . Fewer monitors and more efficient controllability for deadlock control in S3PGR2 (systems of simple sequential processes with general resource requirements). Comput. J., (British Computer Society) , 10 , 1783 - 1798
23. 23)
  - M. Yan , Z.W. Li , N. Wei , M. Zhao . A deadlock prevention policy for a class of Petri nets S3PMR. J. Inf. Sci. Eng. , 1 , 167 - 183
24. 24)
  - M. Lawley , S. Reveliotis . Deadlock avoidance for sequential resource allocation systems: hard and easy cases. Int. J. Flex. Manuf. Syst. , 4 , 385 - 404
25. 25)
  - L. Piroddi , R. Cordone , I. Fumagalli . Selective siphon control for deadlock prevention in Petri nets. IEEE Trans. Syst. Man Cybern. A, Syst. Human , 6 , 1337 - 1348
26. 26)
  - Z.W. Li , M.C. Zhou , M.D. Jeng . A maximally permissive deadlock prevention policy for FMS based on Petri net siphon control and the theory of regions. IEEE Tran. Autom. Sci. Eng. , 1 , 182 - 188
27. 27)
  - Z.W. Li , M.C. Zhou . On controllability of dependent siphons for deadlock prevention in generalized Petri nets. IEEE Trans. Syst., Man, Cybern., A. , 2 , 369 - 384
28. 28)
  - Z.W. Li , M. Uzam , M.C. Zhou . Deadlock control of concurrent manufacturing processes sharing finite resources. Int. J. Adv. Manuf. Technol. , 787 - 800
29. 29)
  - D.Y. Chao . An incremental approach to extract minimal bad siphons. J. Inf. Sci. Eng. , 1 , 203 - 214
30. 30)
  - 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. , 1193 - 1202
31. 31)
  - Z. Li , M. Zhou . Clarifications on the definitions of elementary siphons in Petri nets. IEEE Trans. Syst. Man Cybern. A. , 1227 - 1229
32. 32)
  - Z.W. Li , M.C. Zhou . Control of elementary and dependent siphons in Petri nets and their application. IEEE Trans. Syst. Man, Cybern. A. , 1 , 133 - 148
33. 33)
  - M. Jeng , M.Y. Peng , Y. Huang . An algorithm for calculating minimal siphons and traps of Petri nets. Int. J. Intell. Control Syst. , 3 , 263 - 275
34. 34)
  - L. Piroddi , M. Cossalter , L. Ferrarini . A resource decoupling approach for deadlock prevention in FMS. Int. J. Adv. Manuf. Technol. , 157 - 170
35. 35)
  - Integrated Net Analyzer, a software tool for analysis of Petri nets, Version 2.2. Available at: http://www.informatik.hu-berlin.de/_starke/ina.html (accessed 10 August 2003).

Login

Not registered yet?

Share

Tools

Login to add to favourites

Key

Enumeration of lost states of a suboptimal control model of a well-known S³PR

Enumeration of lost states of a suboptimal control model of a well-known S³PR

Buy article PDF

Buy Knowledge Pack

Thank you

References

Related content