Algebraic synthesis of timed supervisor for automated manufacturing systems using petri nets

IEEE Transactions on Automation Science and Engineering

Volumn 7, Issue 3, 2010, Pages 549-557

  Hu, Hesuan ^a,b   Zhou, Mengchu ^a,c   Li, Zhiwu ^a,d  

^a XIDIAN UNIVERSITY   (China)

^b KING SAUD UNIVERSITY   (Saudi Arabia)

^c NEW JERSEY INSTITUTE OF TECHNOLOGY   (United States)

^d MARTIN LUTHER UNIVERSITY HALLE WITTENBERG   (Germany)

Author keywords

Automated manufacturing systems; Petri nets; supervisory control; theory of regions; timed Petri nets

Indexed keywords

AUTOMATED MANUFACTURING SYSTEMS; CONTROL PLACE; DISCRETE MODELS; EXPRESSIVE POWER; LINEAR CONSTRAINTS; MUTUAL EXCLUSIONS; NP-HARD; PLANT MODEL; POLYNOMIAL-TIME; REACHABILITY GRAPHS; STATES AND EVENTS; SUPERVISORY CONTROL; SUPERVISORY CONTROL THEORY; THEORY OF REGIONS; TIME DIMENSION; TIMED PETRI NET;

ALGEBRA; AUTOMATION; DENSE WAVELENGTH DIVISION MULTIPLEXING; MANUFACTURE; PETRI NETS; POLYNOMIAL APPROXIMATION; PRODUCTION ENGINEERING;

GRAPH THEORY;

EID: 77954383996     PISSN: 15455955     EISSN: None     Source Type: Journal    
DOI: 10.1109/TASE.2009.2037825     Document Type: Article

References (38)

1. Z. Achour and N. Rezg, "Time floating general mutual exclusion constraints (TFGMEC)," in Proc. Multiconf. Comp. Eng. Sys. Appl., Beijing, China, Oct. 2006, pp. 893-897.
2. Z. Achour and N. Rezg, "Time floating general mutual exclusion constraints in partial observable discrete event systems," in Proc. IEEE Int. Conf. Inf. Reuse Integr., Hawaii, Sep. 2006, pp. 75-79.
3. K. Barkaoui and J. F. Peyre, "On liveness and controlled siphons in Petri nets," in Lecture Notes in Computer Science. Berlin, Germany: Springer-Verlag, Jun. 1996, vol.1091, pp. 57-72.
4. B. Brandin and W. M. Wonham, "Supervisory control of timed discrete event systems," IEEE Trans. Autom. Control, vol.39, no.2, pp. 329-341, Feb. 1994.
5. E. Badouel and P. Darondeau, "Theory of regions," in Lectures on Petri Nets I: Basic Models,W. Reisig and G. Rozenberg, Eds. Berlin, Germany: Springer-Verlag, 1998, vol.1491, LNCS, pp. 529-586.
6. Y. Y. Du, C. J. Jiang, and M. C. Zhou, "A Petri nets based correctness analysis of Internet stock trading systems," IEEE Trans. Syst., Man, Cybern. A. Syst., Humans, vol.38, no.1, pp. 93-99, Jan. 2008.
7. Y. Y. Du, C. J. Jiang, M. C. Zhou, and Y. Fu, "Modeling and monitoring of E-commerce workflows," Information Sciences, vol.179, no.7, pp. 995-1006, Mar. 2009.
8. Z. J. Ding, C. J. Jiang, M. C. Zhou, and Y. Y. Zhang, "Preserving languages and properties in stepwise refinement-based synthesis of Petri nets," IEEE Trans. Syst., Man, Cybern. A. Syst., Humans, vol.38, no.4, pp. 791-801, 2008.
9. J. Ezpeleta, J. M. Colom, and J. Martinez, "A Petri net based deadlock prevention policy for flexible manufacturing systems," IEEE Trans. Robot. Autom., vol.11, no.2, pp. 173-184, Apr. 1995.
10. A. Ghaffari, N. Rezg, and X. L. Xie, "Design of a live and maximally permissive Petri net controller using the theory of regions," IEEE Trans. Robot. Autom., vol.19, no.1, pp. 137-142, Feb. 2003.
11. A. Ghaffari, N. Rezg, and X. L. Xie, "Feedback control logic for forbidden- state problems of marked graphs: Application to a real manufacturing system," IEEE Trans. Autom. Control, vol.48, no.1, pp. 18-29, Jan. 2003.
12. B. Hruz and M. C. Zhou, Modeling and Control of Discrete Event Dynamic Systems. New York: Springer, 2007.
13. M. V. Iordache and P. J. Antsaklis, "Synthesis of supervisor enforcing general linear constraints in Petri nets," IEEE Trans. Autom. Control, vol.48, no.11, pp. 2036-2039, Nov. 2003.
14. Lindo Systems Inc., 2009. [Online]. Available: http://www.lindo.com.
15. Z. W. Li and M. C. Zhou, "Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems," IEEE Trans. Syst., Man, Cybern. A. Syst., Humans, vol.34, no.1, pp. 38-51, Jan. 2004.
16. Z. W. Li, M. C. Zhou, and M. Jeng, "A maximally permissive deadlock prevention policy for FMS based on Petri net siphon control and the theory of Regions," IEEE Trans. Autom. Sci. Eng., vol.5, no.1, pp. 182-188, Jan. 2008.
17. G. J. Liu, C. J. Jiang, Z. H.Wu, and L. J. Chen, "A live subclass of Petri nets and their application in modeling flexible manufacturing systems," Int. J. Adv. Manuf. Tech., vol.41, no.1-2, pp. 66-74, Mar. 2009.
18. J. O. Moody and P. J. Antsaklis, "Petri net supervisors for DES with uncontrollable and unobservable transitions," IEEE Trans. Autom. Control, vol.45, no.3, pp. 462-476, Mar. 2000.
19. J. O. Moody, M. V. Iordache, and P. J. Antsaklis, "Enforement of event-based supervisory constraints using state-based methods," in Proc. Conf. Dec. Control, Phoenix, AZ, Dec. 1999, pp. 1743-1748.
20. J. Park and S. A. Reveliotis, "Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings," IEEE Trans. Autom. Control, vol.46, no.10, pp. 1572-1583, Oct. 2001.
21. P. J. Ramadge and W. M.Wonham, "The control of discrete event systems," Proc. IEEE, vol.77, no.4, pp. 89-98, Apr. 1989.
22. F. Tricas, F. García-Valles, J. M. Colom, and J. Ezpeleta, "A Petri net structure-based deadlock prevention solution for sequential resource allocation systems," in Proc. Int. Conf. Robot. Autom., Barcelona, Spain, Apr. 2005, pp. 272-278.
23. 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., vol.19, pp. 192-208, Feb. 2002.
24. 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., Part C, vol.29, no.2, pp. 192-204, May 1999.
25. N. Q. Wu, C. B. Chu, F. Chu, and M. C. Zhou, "A Petri net method for schedulability and scheduling problems in single-arm cluster tools withwafer residency time constraints," IEEE Trans. Semicond. Manuf., vol.21, no.2, pp. 224-237, May 2008.
26. N. Q. Wu, M. C. Zhou, and Z. W. Li, "Resource-oriented Petri net for deadlock avoidance in flexible assembly systems," IEEE Trans. Syst., Man, Cybern. A. Syst., Humans, vol.38, no.1, pp. 56-69, Jan. 2008.
27. K. Yamalidou, J. O. Moody, M. Lemmon, and P. J. Antsaklis, "Feedback control of Petri nets based on place invariants," Automatica, vol.32, pp. 15-18, Jan. 1996.
28. M. C. Zhou and K. Venkatesh, Modeling, Simulation and Control of Flexible Manufacturing Systems: A Petri Net Approach. , Singapore: World Scientific, 1998.
29. R. Zurawski and M. C. Zhou, "Petri nets and industrial applications: A tutorial," IEEE Trans. Ind. Electron., vol.41, no.6, pp. 567-583, Dec. 1994.
30. Z. W. Li and M. C. Zhou, Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach. New York: Springer, 2009.
31. N. Q. Wu and M. C. Zhou, System Modeling and Control with Resource- Oriented Petri Nets. New York: CRC Press, 2010.
32. Deadlock Resolution in Computer-Integrated Systems,M. C. Zhou and M. P. Fanti, Eds. New York: Marcel Dekker, 2005.
33. M. C. Zhou and M. D. Jeng, "Modeling, analysis, simulation, scheduling, and control of semiconductor manufacturing systems: A Petri net approach," IEEE Trans. Semiconductor Manuf., vol.11, no.3, pp. 333-357, 1998.
34. M. Dotoli and M. P. Fanti, "Deadlock detection and avoidance strategies for automated storage and retrieval systems," IEEE Trans. Syst. Man, Cybern., Part C: Appl. Reviews, vol.37, no.4, pp. 541-552, Jul. 2007.
35. M. Dotoli, M. P. Fanti, C. Meloni, and M. Zhou, "Design and optimization of integrated e-supply chain for agile and environmentally conscious manufacturing," IEEE Trans. Syst., Man, Cybern., Part A: Syst. Humans, vol.36, no.1, pp. 62-75, Jan. 2006.
36. N. Q. Wu, M. C. Zhou, and F. Chu, "A Petri net based heuristic algorithm for realizability of target refining schedule for oil refinery," IEEE Trans. Autom. Sci. Eng., vol.5, no.4, pp. 661-676, 2008.
37. N. Q.Wu, L. P. Bai, and C. B. Chu, "Modeling and conflict detection of crude-oil operations for refinery process based on controlled-coloredtimed Petri net," IEEE Trans. Syst., Man, Cybern., Part C, vol.37, no.4, pp. 461-472, 2007.
38. N. Q. Wu, F. Chu, C. B. Chu, and M. C. Zhou, "Short-term schedulability analysis of multiple distiller crude oil operations in refinery with oil residency time constraint," IEEE Trans. Syst., Man, Cybern., Part C, vol.39, no.1, pp. 1-16, 2009.