Affiliation:
1. Graduate School of Science and Technology for Innovation, Yamaguchi University
Publisher
Institute of Electronics, Information and Communications Engineers (IEICE)
Subject
Artificial Intelligence,Electrical and Electronic Engineering,Computer Vision and Pattern Recognition,Hardware and Architecture,Software
Reference11 articles.
1. [1] T. Murata, “Petri nets: Properties, analysis and applications,” Proc. IEEE, vol.77, no.4, pp.541-580, 1989. 10.1109/5.24143
2. [2] O.E. Hichami, M.A. Achhab, I. Berrada, R. Oucheikh, B.E.E. Mohajir, “An approach of optimization and formal verification of workflow Petri nets,” Journal of Theoretical and Applied Information Technology, vol.61, no.3, pp.486-495, 2014.
3. [3] S. Yamaguchi, “Polynomial time verification of reachability in sound extended free-choice workflow net,” IEICE Trans. Fundamentals, vol.E97-A, no.2, pp.468-475, Feb. 2014. 10.1587/transfun.e97.a.468
4. [4] W.M.P. van der Aalst and K.M. van Hee, Workflow Management: Models, Methods, and Systems, The MIT Press, 2002.
5. [5] W. van der Aalst, J. Buijs, and B. van Dongen, “Towards improving the representational bias of process mining,” Data-Driven Process Discovery and Analysis, Lecture Notes in Business Information Processing, vol.116, pp.39-54, Springer-Verlag, Berlin, 2012. 10.1007/978-3-642-34044-4_3
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献