Table of Contents Author Guidelines Submit a Manuscript
Mathematical Problems in Engineering
Volume 2015, Article ID 636959, 23 pages
http://dx.doi.org/10.1155/2015/636959
Research Article

Confusion Control in Generalized Petri Nets Using Synchronized Events

1School of Computer and Software Engineering, Xihua University, Chengdu 610039, China
2School of Electro-Mechanical Engineering, Xidian University, Xi’an 710071, China
3Institute of Systems Engineering, Macau University of Science and Technology, Taipa, Macau
4Industrial Engineering Department, College of Engineering, King Saud University, P.O. Box 800, Riyadh 11421, Saudi Arabia
5Mechanical Engineering Department, Faculty of Engineering, Helwan University, Cairo 11732, Egypt

Received 5 March 2015; Accepted 26 July 2015

Academic Editor: Georg Frey

Copyright © 2015 Xiaoliang Chen 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. Y. F. Chen and Z. W. Li, Optimal Supervisory Control of Automated Manufacturing Systems, CRC Press, Taylor & Francis, New York, NY, USA, 2013.
  2. Y. Chen, Z. Li, and M. C. Zhou, “Optimal supervisory control of flexible manufacturing systems by petri nets: a set classification approach,” IEEE Transactions on Automation Science and Engineering, vol. 11, no. 2, pp. 549–563, 2014. View at Publisher · View at Google Scholar · View at Scopus
  3. Z. W. Li, G. Y. Liu, H.-M. Hanisch, and M. C. Zhou, “Deadlock prevention based on structure reuse of petri net supervisors for flexible manufacturing systems,” IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems, vol. 42, no. 1, pp. 178–191, 2012. View at Publisher · View at Google Scholar · View at Scopus
  4. W.-Z. Jia, B.-H. Mao, T.-K. Ho, H.-D. Liu, and B. Yang, “Bottlenecks detection of track allocation schemes at rail stations by Petri nets,” Journal of Transportation Systems Engineering and Information Technology, vol. 9, no. 6, pp. 136–141, 2009. View at Google Scholar · View at Scopus
  5. V. Calderaro, C. N. Hadjicostis, A. Piccolo, and P. Siano, “Failure identification in smart grids based on Petri net modeling,” IEEE Transactions on Industrial Electronics, vol. 58, no. 10, pp. 4613–4623, 2011. View at Publisher · View at Google Scholar · View at Scopus
  6. J. F. Zhang, M. Khalgui, Z. W. Li, G. Frey, O. Mosbahi, and H. B. Salah, “Reconfigurable coordination of distributed discrete event control systems,” IEEE Transactions on Control Systems Technology, vol. 23, no. 1, pp. 323–330, 2015. View at Publisher · View at Google Scholar · View at Scopus
  7. Y. F. Chen, Z. W. Li, and K. Barkaoui, “New Petri net structure and its application to optimal supervisory control: interval inhibitor arcs,” IEEE Transactions on Systems, Man, and Cybernetics: Systems, vol. 44, no. 10, pp. 1384–1400, 2014. View at Publisher · View at Google Scholar · View at Scopus
  8. G. Rozenberg and P. Thiagarajan, “Petri nets: basic notions, structure, behaviour,” in Current Trends in Concurrency: Overviews and Tutorials, J. de Bakker, W. de Roever, and G. Rozenberg, Eds., vol. 224 of Lecture Notes in Computer Science, pp. 585–668, Springer, Berlin, Germany, 1986. View at Publisher · View at Google Scholar
  9. G. Rozenberg and J. Engelfriet, “Elementary net systems,” in Lectures on Petri Nets I: Basic Models, W. Reisig and G. Rozenberg, Eds., vol. 1491 of Lecture Notes in Computer Science, pp. 12–121, Springer, Berlin, Germany, 1998. View at Publisher · View at Google Scholar
  10. W. van der Aalst and K. Hee, Workflow Management: Models, Methods, and Systems, MIT Press, Cambridge, UK, 2004.
  11. W. van der Aalst, “Workflow verification: finding control-flow errors using Petri-net-based techniques,” in Business Process Management: Models, Techniques, and Empirical Studies, W. van der Aalst, J. Desel, and A. Oberweis, Eds., vol. 1806 of Lecture Notes in Computer Science, pp. 19–128, Springer, Berlin, Germany, 2000. View at Google Scholar
  12. W. van der Aalst, “Verification of workflow nets,” in Application and Theory of Petri Nets, P. Azma and G. Balbo, Eds., vol. 1248 of Lecture Notes in Computer Science, pp. 407–426, Springer, Berlin, Germany, 1997. View at Google Scholar
  13. X. L. Chen, Z. Y. Jiang, and J. H. Ye, “Confusion analysis and detection for workflow nets,” Discrete Dynamics in Nature and Society, vol. 2014, Article ID 825313, 14 pages, 2014. View at Publisher · View at Google Scholar
  14. E. Smith, “On the border of causality: contact and confusion,” Theoretical Computer Science, vol. 153, no. 1-2, pp. 245–270, 1996. View at Publisher · View at Google Scholar · View at Scopus
  15. S. Haar, “Clusters, confusion and unfoldings,” Fundamenta Informaticae, vol. 47, no. 3-4, pp. 259–270, 2001. View at Google Scholar · View at Zentralblatt MATH · View at Scopus
  16. C. Bolton, “Adding conflict and confusion to CSP,” in Proceedings of the International Conference on Formal Methods, J. Fitzgerald, J. Hayes, and A. Tarlecki, Eds., vol. 3582 of Lecture Notes in Computer Science, pp. 205–220, Springer, Berlin, Germany, 2005. View at Google Scholar
  17. C. Bolton, “Capturing conflict and confusion in CSP,” in Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2–5, 2007. Proceedings, J. Davies and J. Gibbons, Eds., vol. 4591 of Lecture Notes in Computer Science, pp. 413–438, Springer, Berlin, Germany, 2007. View at Publisher · View at Google Scholar
  18. X.-L. Chen, Z.-W. Li, A. M. Al-Ahmari, A. M. El-Tamimi, and E. S. Abouel Nasr, “Confusion diagnosis and control of discrete event systems using synchronized Petri nets,” Asian Journal of Control, vol. 15, no. 6, pp. 1736–1751, 2013. View at Publisher · View at Google Scholar · View at Scopus
  19. X. L. Chen, Z. W. Li, N. Q. Wu, A. M. Al-Ahmari, A. M. El-Tamimi, and E. S. Abouel Nasr, “Confusion avoidance for discrete event systems by P/E constraints and supervisory control,” IMA Journal of Mathematical Control and Information, 2014. View at Publisher · View at Google Scholar
  20. J. P. Katoen, “GSPNs revisited: simple semantics and new analysis algorithms,” in Proceedings of the 2012 International Conference on Application of Concurrency to System Design, pp. 6–11, Hamburg, Germany, 2012.
  21. M. A. Marsan, G. Balbo, G. Conte, S. Donatelli, and G. Franceschinis, Modelling with Generalized Stochastic Petri Nets, John Wiley & Sons, 1995.
  22. 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 Publisher · View at Google Scholar · View at Scopus
  23. 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 Google Scholar
  24. M. Moalla, J. Pulou, and J. Sifakis, “Synchronized petri nets : a model for the description of non-autonomous sytems,” in Mathematical Foundations of Computer Science 1978: Proceedings, 7th Symposium Zakopane, Poland, September 4–8, 1978, J. Winkowski, Ed., vol. 64 of Lecture Notes in Computer Science, pp. 374–384, Springer, Berlin, Germany, 1978. View at Publisher · View at Google Scholar
  25. G. Serugendo, D. Mandrioli, D. Buchs, and N. Guelfi, “Real-time synchronised Petri nets,” in Proceedings of the 23th International Conference on Application and Theory of Petri Nets, J. Esparza and C. Lakos, Eds., vol. 2360 of Lecture Notes in Computer Science, pp. 281–298, Springer, Berlin, Germany, 2002. View at Google Scholar
  26. R. David and H. Alla, Discrete, Continuous, and Hybrid Petri Nets, Springer, Berlin, Germany, 2005.
  27. R. David and H. Alla, Du Grafcet Aux Reseaux de Petri, Hermes Publication, Paris, France, 2nd edition, 1992.
  28. J. L. Peterson, Petri Net Theory and the Modeling of Systems, Prentice-Hall, Englewood Cliffs, NJ, USA, 1981.
  29. C. Ramchandani, Analysis of asynchronous concurrent systems by timed Petri nets [Ph.D. thesis], MIT, Cambridge, Mass, USA, 1973.
  30. G. Florin and S. Natkin, “Les reseaux de Petri stochastiques,” Technique et Science Informatiques, vol. 4, no. 1, pp. 143–160, 1985. View at Google Scholar