Table of Contents Author Guidelines Submit a Manuscript
Discrete Dynamics in Nature and Society
Volume 2014, Article ID 825313, 14 pages
http://dx.doi.org/10.1155/2014/825313
Research Article

Confusion Analysis and Detection for Workflow Nets

School of Electro-Mechanical Engineering, Xidian University, Xi’an 710071, China

Received 11 January 2014; Revised 29 March 2014; Accepted 30 March 2014; Published 7 May 2014

Academic Editor: Victor S. Kozyakin

Copyright © 2014 Xiao-liang 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. W. Tan and M. C. Zhou, Business and Scientific Workflows: A Service-Oriented Approach, Wiley-IEEE Press, 2013.
  2. W. M. P. 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 Publisher · View at Google Scholar · View at MathSciNet
  3. J. Q. Li, Y. S. Fan, and M. C. Zhou, “Timing constraint workflow nets for workflow analysis,” IEEE Transactions on Systems, Man, and Cybernetics A: Systems and Humans, vol. 33, no. 2, pp. 179–193, 2003. View at Publisher · View at Google Scholar · View at Scopus
  4. J. Q. Li, Y. S. Fan, and M. C. Zhou, “Performance modeling and analysis of workflow,” IEEE Transactions on Systems, Man, and Cybernetics A: Systems and Humans, vol. 34, no. 2, pp. 229–242, 2004. View at Publisher · View at Google Scholar · View at Scopus
  5. 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
  6. Z. W. Li and M. C. Zhou, Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach, Springer, London, UK, 2009.
  7. Z. W. Li, N. Q. Wu, and M. C. Zhou, “Deadlock control of automated manufacturing systems based on Petri nets—a literature review,” IEEE Transactions on Systems, Man and Cybernetics C: Applications and Reviews, vol. 42, no. 4, pp. 437–462, 2012. View at Publisher · View at Google Scholar · View at Scopus
  8. M. W. P. van der Aalst and K. Hee, Workflow Management: Models, Methods, and Systems, The MIT Press, Cambridge, UK, 2004.
  9. M. W. P. van der Aalst, “Workflow verification: finding control-flow errors using Petri-net-based tech niques,” 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
  10. P. C. Xiong, Y. S. Fan, and M. C. Zhou, “A Petri net approach to analysis and composition of web services,” IEEE Transactions on Systems, Man, and Cybernetics A: Systems and Humans, vol. 40, no. 2, pp. 376–387, 2010. View at Publisher · View at Google Scholar · View at Scopus
  11. X. T. Li, Y. S. Fan, Q. Z. Sheng, Z. Maamar, and H. W. Zhu, “A Petri net approach to analyzing behavioral compatibility and similarity of web services,” IEEE Transactions on Systems, Man, and Cybernetics A: Systems and Humans, vol. 41, no. 3, pp. 510–521, 2011. View at Publisher · View at Google Scholar · View at Scopus
  12. Y. F. Chen and Z. W. Li, “Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems,” Automatica, vol. 47, no. 5, pp. 1028–1034, 2011. View at Publisher · View at Google Scholar · View at MathSciNet
  13. Z. W. Li and M. C. Zhou, “Two-stage method for synthesizing liveness-enforcing supervisors for flexible manufacturing systems using Petri nets,” IEEE Transactions on Industrial Informatics, vol. 2, no. 4, pp. 313–325, 2006. View at Publisher · View at Google Scholar · View at Scopus
  14. G. Rozenberg and P. S. 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 · View at MathSciNet
  15. 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 Google Scholar
  16. 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 MathSciNet
  17. S. Haar, “Clusters, confusion and unfoldings,” Fundamenta Informaticae, vol. 47, no. 3-4, pp. 259–270, 2001. View at Google Scholar · View at MathSciNet
  18. C. Bolton, “Adding conflict and confusion to CSP,” in Proceedings of the International Symposium of Formal Methods Europe (FM '05), J. Fitzgerald, J. Hayes, and A. Tarlecki, Eds., vol. 3582 of Lecture Notes in Computer Science, pp. 205–220, Springer, July 2005. View at Scopus
  19. C. Bolton, “Capturing conflict and confusion in CSP,” in Proceedings of the 6th International Conference on Integrated Formal Methods, J. Davies and J. Gibbons, Eds., vol. 4591 of Lecture Notes in Computer Science, pp. 413–438, Springer, 2007.
  20. X.-L. Chen, Z.-W. Li, A. M. Al-Ahmari, A. M. El-Tamimi, and E. S. Abouel Nasr, “Confusion diagnosis and control of descrete 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 MathSciNet
  21. J. Katoen, “GSPNs revisited: simple semantics and new analysis algorithms,” in Proceedings of the International Conference on Application of Concurrency to System Design, pp. 6–11, Hamburg, Germany, 2012.
  22. M. Marsan, G. Balbo, G. Conte, S. Donatelli, and G. Franceschinis, Modelling with Generalized Stochastic Petri Nets, John Wiley & Sons, New York, NY, USA, 1995.
  23. S. Haar, “Occurrence net logics,” Fundamenta Informaticae, vol. 43, no. 1–4, pp. 105–127, 2000. View at Google Scholar · View at MathSciNet
  24. 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, 2009. View at Publisher · View at Google Scholar · View at MathSciNet
  25. 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 Transactions on Automation Science and Engineering, vol. 8, no. 2, pp. 374–393, 2011. View at Publisher · View at Google Scholar · View at Scopus
  26. 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 A: Systems and Humans, vol. 34, no. 1, pp. 38–51, 2004. View at Publisher · View at Google Scholar · View at Scopus
  27. Z. W. Li and M. C. Zhou, “Control of elementary and dependent siphons in Petri nets and their application,” IEEE Transactions on Systems, Man, and Cybernetics A: Systems and Humans, vol. 38, no. 1, pp. 133–148, 2008. View at Publisher · View at Google Scholar · View at Scopus
  28. Z. W. Li, M. C. Zhou, and N. Q. Wu, “A survey and comparison of Petri net-based deadlock prevention policies for flexible manufacturing systems,” IEEE Transactions on Systems, Man and Cybernetics C: Applications and Reviews, vol. 38, no. 2, pp. 173–188, 2008. View at Publisher · View at Google Scholar · View at Scopus
  29. Z. W. Li, M. C. Zhou, and M. D. Jeng, “A maximally permissive deadlock prevention policy for FMS based on Petri net siphon control and the theory of regions,” IEEE Transactions on Automation Science and Engineering, vol. 5, no. 1, pp. 182–188, 2008. View at Publisher · View at Google Scholar · View at Scopus
  30. Z. W. Li and M. Zhao, “On controllability of dependent siphons for deadlock prevention in generalized Petri nets,” IEEE Transactions on Systems, Man, and Cybernetics A: Systems and Humans, vol. 38, no. 2, pp. 369–384, 2008. View at Publisher · View at Google Scholar · View at Scopus
  31. 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 A: Systems and Humans, vol. 42, no. 1, pp. 178–191, 2012. View at Publisher · View at Google Scholar · View at Scopus
  32. R. David and H. Alla, Discrete, Continuous, and Hybrid Petri Nets, Springer, Berlin, Germany, 2005. View at MathSciNet