1. Liu, W., Wang, L., Du, Y.Y., Li, M.Z.: Deadlock property analysis of concurrent programs based on Petri net structure. Int. J. Parallel Prog. 45(4), 879–898 (2017)
2. Van Der Aalst, W.M.P., Weske, M.: Reflections on a Decade of Interorganizational Workflow Research. Seminal Contributions to Information Systems Engineering, pp. 307–313. Springer, Berlin (2013)
3. Li, H.X., Du, Y.Y.: A survey of research issues and key technology for business process management. J. Shandong Univ. Sci. Technol. 34(1), 22–28 (2015)
4. Tian, Y.H., Du, Y.Y.: A grouping algorithm of optimal alignments. J. Shandong Univ. Sci. Technol. 34(1), 29–34 (2015)
5. Han, Y.B., Wang, J., Zhang, P.: Business-oriented service modeling: a case study. Simul. Model. Pract. Theory 17(8), 1413–1429 (2009)