Characterization of Admissible Marking Sets in Petri Nets with Uncontrollable Transitions

IEEE Transactions on Automatic Control

Volumn 61, Issue 7, 2016, Pages 1953-1958

  Wang, Shouguang ^a   You, Dan ^a   Zhou, MengChu ^b,c   Seatzu, Carla ^d  

^a ZHEJIANG GONGSHANG UNIVERSITY   (China)

^b NEW JERSEY INSTITUTE OF TECHNOLOGY   (United States)

^c KING ABDULAZIZ UNIVERSITY   (Saudi Arabia)

^d UNIVERSITY OF CAGLIARI   (Italy)

Author keywords

Discrete event systems; Petri nets; supervisory control

Indexed keywords

LINEAR TRANSFORMATIONS; MATHEMATICAL TRANSFORMATIONS; PETRI NETS;

EQUIVALENT TRANSFORMATIONS; GENERALIZED MUTUAL EXCLUSION CONSTRAINT; LINEAR CONSTRAINTS; NON NEGATIVES; SUPERVISORY CONTROL; WORK STUDY;

DISCRETE EVENT SIMULATION;

EID: 84977134167     PISSN: 00189286     EISSN: None     Source Type: Journal    
DOI: 10.1109/TAC.2015.2480233     Document Type: Article

References (36)

1. F. Basile, P. Chiacchio, and A. Giua, "Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places," Automatica, vol. 42, no. 6, pp. 995-1004, 2006.
2. F. Basile, R. Cordone, and L. Piroddi, "Integrated design of optimal supervisors for the enforcement of static and behavioral specifications in Petri net models," Automatica, vol. 49, no. 11, pp. 3432-3439, 2013.
3. Y. F. Chen and Z. W. Li, "Design of a maximally permissive livenessenforcing supervisor with a compressed supervisory structure for flexible manufacturing systems," Automatica, vol. 47, no. 5, pp. 1028-1034, 2011.
4. Y. F. Chen, Z. W. Li, M. Khalgui, and O. Mosbahi, "Design of a maximally permissive liveness-enforcing Petri net supervisor for flexible manufacturing systems," IEEE Trans. Automat. Sci. Eng., vol. 8, no. 2, pp. 374-393, 2011.
5. Y. F. Chen, Z. W. Li, K. Barkaoui, and A. Giua, "On the enforcement of a class of nonlinear constraints on Petri nets," Automatica, vol. 55, pp. 116-124, 2015.
6. A. Dideban and H. Alla, "Reduction of constraints for controller synthesis based on safe Petri Nets," Automatica, vol. 44, no. 7, pp. 1697-1706, 2008.
7. A. Dideban, M. Zareiee, and H. Alla, "Controller synthesis with highly simplified linear constraints in PN model," Asian J. Control, vol. 15, no. 1, pp. 80-94, 2013.
8. A. Ghaffari, N. Rezg, and X. Xie, "Design of a live and maximally permissive Petri net controller using the theory of region," IEEE Trans. Robot. Autom., vol. 19, no. 1, pp. 137-142, Jan. 2003.
9. L. E. Holloway, B. H. Krogh, and A. Giua, "A survey of Petri net methods for controlled discrete event systems," Discrete Event Dynam. Syst.: Theory and Applic., vol. 7, pp. 151-190, 1997.
10. M. V. Iordache and P. J. Antsaklis, "Synthesis of supervisors enforcing general linear constraints in Petri nets," IEEE Trans. Autom. Control, vol. 48, no. 11, pp. 2036-2039, Nov. 2003.
11. B. H. Krogh and L. E. Holloway, "Synthesis of feedback control logic for discrete manufacturing systems," Automatica, vol. 27, no. 4, pp. 641-651, 1991.
12. J. L. Luo and K. Nonami, "Approach for transforming linear constraints on Petri nets," IEEE Trans. Autom. Control, vol. 56, no. 12, pp. 2751-2765, Dec. 2011.
13. J. L. Luo, H. Shao, K. Nonami, and F. J. Jin, "Maximally permissive supervisor synthesis based on a new constraint transformation method," Automatica, vol. 48, no. 6, pp. 1097-1101, 2012.
14. J. L. Luo, W. M. Wu, H. Y. Su, and J. Chu, "Supervisor synthesis for enforcing a class of generalized mutual exclusion constraints on Petri Nets," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 39, no. 6, pp. 1237-1246, 2009.
15. Z. Ma, Z. Li, and A. Giua, "Comments on 'Maximally permissive supervisor synthesis based on a new constraint transformation method' [Automatica 48 (2012), 1097-1101]," Automatica, vol. 51, no. 1, pp. 131-134, 2015.
16. J. Moody and P. Antsaklis, "Petri net supervisors for DES with uncontrollable and unobservable transitions," IEEE Trans. Autom. Control, vol. 45, no. 3, pp. 462-476, Mar. 2000.
17. S. G. Wang, C. Y. Wang, and M. C. Zhou, "Design of optimal monitorbased supervisors for a class of Petri nets with uncontrollable transitions," IEEE Trans. Syst., Man, Cybern., Syst., vol. 43, no. 5, pp. 1248-1255, 2013.
18. [Online]. Available: http://www.diee.unica.it/~seatzu/TAC-report-Wang. pdf
19. S. G. Wang, J. Yang, and M. C. Zhou, "Comments on 'Maximally permissive supervisor synthesis based on a new constraint transformation method'," 2014. [Online]. Available: http://arxiv.org/abs/1406.6591
20. K. Yamalidou, J. O. Moody, and U. D. Lemmon, "Feedback control of Petri nets based on place invariants," Automatica, vol. 32, no. 1, pp. 15-18, 1996.
21. H. Hu, Y Liu, and M. C. Zhou, "Maximally permissive distributed control of large scale automated manufacturing systems modeled with Petri nets," IEEE Trans. Control Syst. Technol., vol. 23, no. 5, pp. 2026-2034, Sep. 2015.
22. H. Hu, M. C. Zhou, Z. Li, and Y. Tang, "An optimization approach to improved Petri net controller design for automated manufacturing systems," IEEE Trans. Autom. Sci. Eng., vol. 10, no. 3, pp. 772-782, Jul. 2013.
23. B. Huang et al., "Lexicographic multiobjective integer programming for optimal and structurally minimal Petri net supervisors of automated manufacturing systems," IEEE Trans. Syst., Man, Cybern., Syst., vol. 45, no. 11, pp. 1459-1470, Nov. 2015.
24. Z. Li, M. C. Zhou, and M. D. Jeng, "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.
25. H. Liu, K. Xing, M. C. Zhou, L. Han, and F. Wang, "Transition cover-based design of Petri net controllers for automated manufacturing systems," IEEE Trans. Syst., Man, Cybern., Syst., vol. 44, no. 2, pp. 196-208, Feb. 2014.
26. S. Wang, M. C. Zhou, and W. Wu, "Design of a maximally permissive liveness-enforcing supervisor with reduced complexity for automated manufacturing systems," Asian J. Control, vol. 17, no. 1, pp. 190-201, Jan. 2015.
27. N. Wu, M. C. Zhou, and G. Hu, "Petri net modeling and one-step look-ahead maximally permissive deadlock control of automated manufacturing systems," ACM Trans. Embedded Comput. Syst., vol. 12, no. 1, pp. 10:1-10:23, Jan. 2013.
28. Y. Chen, Z. Li, and M. C. Zhou, "Optimal supervisory control of flexible manufacturing systems by Petri nets: A set classification approach," IEEE Trans. Autom. Sci. Eng., vol. 11, no. 2, pp. 549-563, Apr. 2014.
29. Z. Ding, C. Jiang, and M. C. Zhou, "Deadlock checking for one-place unbounded Petri nets based on modified reachability trees," IEEE Trans. Syst., Man, Cybern., Part B, vol. 38, no. 3, pp. 881-883, Jun. 2008.
30. M.-D. Gan, S.-G. Wang, M. C. Zhou, J. Li, and Y. Li, "A survey of reachability trees of un-bounded Petri nets," Acta Automatica Sinica, vol. 41, no. 4, pp. 686-693, Apr. 2015.
31. M.-D. Jeng and M.-Y. Peng, "Augmented reachability trees for 1-placeunbounded generalized Petri nets," IEEE Trans. Syst. Man. Cybern., Part A: Syst. Humans, vol. 29, no. 1, pp. 173-183, 1999.
32. F.-Y. Wang, Y. Gao, and M. C. Zhou, "A modified reachability tree approach to analysis of unbounded Petri nets," IEEE Trans. Syst., Man, Cybern., Part B, vol. 34, no. 1, pp. 303-308, Feb. 2004.
33. J. Wang, G. Xu, and Y. Deng, "Reachability analysis of real-time systems using time Petri nets," IEEE Trans. Syst. Man, Cybern,. B Cybern., vol. 30, no. 5, pp. 725-736, Oct. 2000.
34. S. G. Wang, M. D. Gan, and M. C. Zhou, "Macro liveness graph and liveness of ω-independent unbounded nets," Sci. China Inform. Sci., vol. 58, no. 3, pp. 032201:1-032201:10, Mar. 2015.
35. S. G.Wang, M. D. Gan, M. C. Zhou, and D. You, "A reduced reachability tree for a class of unbounded Petri nets," IEEE/CAA J. Autom. Sinica, vol. 2, no. 4, pp. 353-360, Oct. 2015.
36. S. G. Wang, M. C. Zhou, Z. Li, and C. Wang, "A new modified reachability tree approach and its applications to unbounded Petri nets," IEEE Trans. Syst., Man, Cybern., Syst., vol. 43, no. 4, pp. 932-940, Jul. 2013.