Table of Contents Author Guidelines Submit a Manuscript
Discrete Dynamics in Nature and Society
Volume 2017, Article ID 1395142, 14 pages
https://doi.org/10.1155/2017/1395142
Research Article

An Enhanced Supervisory Control Strategy for Periodicity Mutual Exclusions in Discrete Event Systems Based on Petri Nets

1School of Computer and Software Engineering, Xihua University, Chengdu 610039, China
2School of Information Science and Technology, Southwest Jiaotong University, Chengdu 611756, China
3School of Computer Science and Technology, Huaqiao University, Xiamen 361021, China

Correspondence should be addressed to Zhongyuan Jiang; moc.361@jdyzgnaij

Received 2 September 2016; Accepted 8 December 2016; Published 30 January 2017

Academic Editor: Francisco R. Villatoro

Copyright © 2017 Zhongyuan Jiang et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Linked References

  1. Z. W. Li and M. C. Zhou, “Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems,” IEEE Transactions on Systems, Man, and Cybernetics—Part A: Systems and Humans, vol. 34, no. 1, pp. 38–51, 2004. View at Google Scholar
  2. F. Basile and P. Chiacchio, “On the implementation of supervised control of discrete event systems,” IEEE Transactions on Control Systems Technology, vol. 15, no. 4, pp. 725–739, 2007. View at Publisher · View at Google Scholar · View at Scopus
  3. S. Song II, Y. H. Kim, and J. S. Yoo, “An enhanced concurrency control scheme for multidimensional index structures,,” IEEE Transactions on Knowledge and Data Engineering, vol. 16, no. 1, pp. 97–111, 2004. View at Publisher · View at Google Scholar · View at Scopus
  4. P. S. Yu and D. M. Dias, “Performance analysis of concurrency control using locking with deferred blocking,” IEEE Transactions on Software Engineering, vol. 19, no. 10, pp. 982–996, 1993. View at Publisher · View at Google Scholar · View at Scopus
  5. M. C. Zhou and F. DiCesare, “Parallel and sequential mutual exclusions for Petri net modeling of manufacturing systems with shared resources,” IEEE Transactions on Robotics and Automation, vol. 7, no. 4, pp. 515–527, 1991. View at Publisher · View at Google Scholar · View at Scopus
  6. L. Lamport, “A fast mutual exclusion algorithm,” ACM Transactions on Computer Systems, vol. 5, no. 1, pp. 1–11, 1987. View at Publisher · View at Google Scholar · View at Scopus
  7. J. B. Jørgensen and L. M. Kristensen, “Computer aided verication of lamport’s fast mutual exclusion algorithm using coloured petri nets and occurrence graphs with symmetries,” IEEE Transactions on Parallel and Distributed Systems, vol. 10, no. 7, pp. 714–732, 1999. View at Publisher · View at Google Scholar · View at Scopus
  8. J. Czyzowicz, L. Gasieniec, D. R. Kowalski, and A. Pec, “Consensus and mutual exclusion in a multiple access channel,” IEEE Transactions on Parallel and Distributed Systems, vol. 22, no. 7, pp. 1092–1104, 2011. View at Publisher · View at Google Scholar · View at Scopus
  9. R. Proietti, C. J. Nitta, Y. Yin, R. Yu, S. J. B. Yoo, and V. Akella, “Scalable and distributed contention resolution in AWGR-based data center switches using RSOA-based optical mutual exclusion,” IEEE Journal on Selected Topics in Quantum Electronics, vol. 19, no. 2, p. 3600111, 2013. View at Publisher · View at Google Scholar · View at Scopus
  10. W. G. Wu, J. B. Zhang, A. Luo, and J. N. Cao, “Distributed mutual exclusion algorithms for intersection traffic control,” IEEE Transactions on Parallel and Distributed Systems, vol. 26, no. 1, pp. 65–74, 2015. View at Publisher · View at Google Scholar · View at Scopus
  11. H. Attiya, A. Kogan, and J. L. Welch, “Efficient and robust local mutual exclusion in mobile Ad Hoc networks,” IEEE Trans. Mobile Computing, vol. 9, no. 3, pp. 361–375, 2009. View at Google Scholar
  12. P. J. Ramadge and W. M. Wonham, “Supervisory control of a class of discrete event processes,” SIAM Journal on Control and Optimization, vol. 25, no. 1, pp. 206–230, 1987. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus
  13. W. M. Wonham and P. J. Ramadge, “On the supremal controllable sublanguage of a given language,” SIAM Journal on Control and Optimization, vol. 25, no. 3, pp. 637–659, 1987. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  14. P. J. Ramadge and W. M. Wonham, “Modular feedback logic for discrete event systems,” SIAM Journal on Control and Optimization, vol. 25, no. 5, pp. 1202–1218, 1987. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  15. P. J. G. Ramadge and W. M. Wonham, “Control of discrete event systems,” Proceedings of the IEEE, vol. 77, no. 1, pp. 81–98, 1989. View at Publisher · View at Google Scholar · View at Scopus
  16. H. Flordal, R. Malik, M. Fabian, and K. Akesson, “Compositional synthesis of maximally permissive supervisors using supervision equivalence,” Discrete Event Dynamic Systems, vol. 17, no. 4, pp. 475–504, 2007. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  17. Y. Chen, Z. Li, M. Khalgui, and O. Mosbahi, “Design of a maximally permissive liveness-enforcing Petri net supervisor for flexible manufacturing systems,” IEEE Transactions on Automation Science and Engineering, vol. 8, no. 2, pp. 374–393, 2011. View at Publisher · View at Google Scholar · View at Scopus
  18. A. Nazeem, S. Reveliotis, Y. Wang, and S. Lafortune, “Designing compact and maximally permissive deadlock avoidance policies for complex resource allocation systems through classification theory: the linear case,” IEEE Transactions on Automatic Control, vol. 56, no. 8, pp. 1818–1833, 2011. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  19. K. Schmidt and C. Breindl, “Maximally permissive hierarchical control of decentralized discrete event systems,” IEEE Transactions on Automatic Control, vol. 56, no. 4, pp. 723–737, 2011. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  20. Y. Chen, Z. Li, and M. Zhou, “Behaviorally optimal and structurally simple liveness-enforcing supervisors of flexible manufacturing systems,” IEEE Transactions on Systems, Man, and Cybernetics Part A: Systems and Humans, vol. 42, no. 3, pp. 615–629, 2012. View at Publisher · View at Google Scholar · View at Scopus
  21. B. Huang, M. C. Zhou, G. X. Zhang, A. C. Ammari, A. Alabdulwahab, and A. G. Fayoumi, “Lexicographic multiobjective integer programming for optimal and structurally minimal petri net supervisors of automated manufacturing systems,” IEEE Transactions on Systems, Man, and Cybernetics: Systems, vol. 45, no. 11, pp. 1459–1470, 2015. View at Publisher · View at Google Scholar
  22. M. Bashir, B. B. Muhammad, and Z. Li, “Minimal supervisory structure for flexible manufacturing systems using Petri nets,” in Proceedings of the 2nd International Conference on Control, Automation and Robotics (ICCAR '16), April 2016. View at Publisher · View at Google Scholar
  23. M. C. Zhou, F. Dicesare, and D. L. Rudolph, “Design and implementation of a petri net based supervisor for a flexible manufacturing system,” Automatica, vol. 28, no. 6, pp. 1199–1208, 1992. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  24. J.-S. Lee, “A Petri net design of command filters for semiautonomous mobile sensor networks,” IEEE Transactions on Industrial Electronics, vol. 55, no. 4, pp. 1835–1841, 2008. View at Publisher · View at Google Scholar · View at Scopus
  25. M. Uzam and A. H. Jones, “Discrete event control system design using automation Petri nets and their ladder diagram implementation,” International Journal of Advanced Manufacturing Technology, vol. 14, no. 10, pp. 716–728, 1998. View at Publisher · View at Google Scholar · View at Scopus
  26. L. E. Holloway and B. H. Krogh, “Synthesis of feedback control logic for a class of controlled Petri nets,” IEEE Transactions on Automatic Control, vol. 35, no. 5, pp. 514–523, 1990. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  27. A. Ghaffari, N. Rezg, and X. Xie, “Feedback control logic for forbidden-date problems of marked graphs: application to a real manufacturing system,” IEEE Transactions on Automatic Control, vol. 48, no. 1, pp. 18–29, 2003. View at Publisher · View at Google Scholar
  28. A. Giua and F. DiCesare, “Supervisory design using Petri nets,” in Proceedings of the 30th IEEE Conference on Decision and Control, vol. 1, pp. 92–97, Brighton, UK, December 1991. View at Scopus
  29. R. S. Sreenivas and B. H. Krogh, “On Petri net models of infinite state supervisors,” IEEE Transactions on Automatic Control, vol. 37, no. 2, pp. 274–277, 1992. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  30. F.-S. Hsieh and S.-C. Chang, “Dispatching-driven deadlock avoidance controller synthesis for flexible manufacturing systems,” IEEE Transactions on Robotics and Automation, vol. 10, no. 2, pp. 196–209, 1994. View at Google Scholar · View at Scopus
  31. R. S. Sreenivas, “An application of independent, increasing, Free-Choice Petri nets to the synthesis of policies that enforce liveness in arbitrary Petri nets,” Automatica, vol. 34, no. 12, pp. 1613–1615, 1998. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at Scopus
  32. K. X. He and M. D. Lemmon, “Liveness-enforcing supervision of bounded ordinary Petri nets using partial order methods,” IEEE Transactions on Automatic Control, vol. 47, no. 7, pp. 1042–1055, 2002. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  33. M. V. Iordache, J. O. Moody, and P. J. Antsaklis, “Method for the synthesis of deadlock prevention controllers in systems modeled by Petri nets,” in Proceedings of the American Control Conference, pp. 3167–3171, Cagliari, Italy, June 2000. View at Scopus
  34. M. V. Iordache, J. O. Moody, and P. J. Antsaklis, “A method for the synthesis of liveness enforcing supervisors in Petri nets,” in Proceedings of the American Control Conference, pp. 4943–4948, Arlington, Tex, USA, June 2001. View at Scopus
  35. A. Ghaffari, N. Rezg, and X. Xie, “Design of a live and maximally permissive Petri net controller using the theory of regions,” IEEE Transactions on Robotics and Automation, vol. 19, no. 1, pp. 137–141, 2003. View at Publisher · View at Google Scholar · View at Scopus
  36. G. Balbo, G. Chiola, S. C. Bruell, and P.-Z. Chen, “An example of modeling and evaluation of a concurrent program using colored stochastic Petri nets: lamport's fast mutual exclusion algorithm,” IEEE Transactions on Parallel and Distributed Systems, vol. 3, no. 2, pp. 221–240, 1992. View at Publisher · View at Google Scholar · View at Scopus
  37. A. Hellgren, M. Fabian, and B. Lennartson, “On the execution of sequential function charts,” Control Engineering Practice, vol. 13, no. 10, pp. 1283–1293, 2005. View at Publisher · View at Google Scholar · View at Scopus
  38. A. Dideban, M. Kiani, and H. Alla, “Implementing PN-based controller with mutually exclusive transitions by SFC,” in Proceedings of the 35th Annual Conference of the IEEE Industrial Electronics Society (IECON '09), pp. 4353–4358, November 2009. View at Publisher · View at Google Scholar · View at Scopus
  39. A. Giua, F. DiCesare, and M. Silva, “Generalized mutual exclusion contraints on nets with uncontrollable transitions,” in Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, pp. 974–979, Chicago, Ill, USA, October 1992. View at Publisher · View at Google Scholar
  40. 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 Transactions on Systems, Man, and Cybernetics Part A: Systems and Humans, vol. 39, no. 6, pp. 1237–1246, 2009. View at Publisher · View at Google Scholar · View at Scopus
  41. Z. Y. Ma, Z. W. Li, and A. Giua, “Design of optimal Petri net controllers for disjunctive generalized mutual exclusion constraints,” IEEE Transactions on Automatic Control, vol. 60, no. 7, pp. 1774–1785, 2015. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  42. F. Basile, P. Chiacchio, and A. Giua, “An optimization approach to Petri net monitor design,” IEEE Transactions on Automatic Control, vol. 52, no. 2, pp. 306–311, 2007. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  43. S. Wang, C. Wang, and M. Zhou, “Design of optimal monitor-based supervisors for a class of Petri nets with uncontrollable transitions,” IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans, vol. 43, no. 5, pp. 1248–1255, 2013. View at Publisher · View at Google Scholar · View at Scopus
  44. T. Murata, “Petri nets: properties, analysis and applications,” Proceedings of the IEEE, vol. 77, no. 4, pp. 541–580, 1989. View at Publisher · View at Google Scholar · View at Scopus
  45. H. J. Ryser, Combinatorial Mathematics, The Carus Mathematical Monographs, No. 14, Wiley, New York, NY, USA, 1963. View at MathSciNet