Affiliation:
1. Graduate School of Science and Engineering, 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
Reference20 articles.
1. [1] T. Murata, “Petri nets: Properties, analysis and applications,” Proc. IEEE, vol.77, no.4, pp.541-580, 1989.
2. [2] G.J. Holzmann, The SPIN Model Checker: Primer and Reference Manual, Addison-Wesley, 2004.
3. [3] D.Y. Chao and Y. Fang, “Number of reachable states for simple classes of Petri nets,” Proc. IECON 2011, pp.3788-3791, 2011.
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.M.P. van der Aalst, J.C.A.M. Buijs, and B.F. van Dongen, “Towards improving the representational bias of process mining,” Lecture Notes in Business Information Processing, vol.116, pp.39-54, 2012.
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献