Affiliation:
1. Graduate School of Sciences and Technology for Innovation, Yamaguchi University
Publisher
Institute of Electronics, Information and Communications Engineers (IEICE)
Subject
Applied Mathematics,Electrical and Electronic Engineering,Computer Graphics and Computer-Aided Design,Signal Processing
Reference12 articles.
1. [1] W.M.P. van der Aalst, “The application of Petri nets to workflow management,” J. Circuit. Syst. Comp., vol.8, no.1, pp.21-65, 1998. 10.1142/s0218126698000043
2. [2] T. Murata, “Petri nets: Properties, analysis and applications,” Proc. IEEE, vol.77, no.4, pp.541-580, 1989. 10.1109/5.24143
3. [3] W.M.P. van der Aalst, “Verification of workflow nets,” Lecture Notes in Computer Science, vol.1248, pp.407-426, 1997. 10.1007/3-540-63139-9_48
4. [4] H.M.W. Verbeek, Verification of WF-nets, Ph.D. Thesis, Technische Universiteit Eindhoven, 2004.
5. [5] J. Desel and J. Esparza, Free Choice Petri Nets, Cambridge University Press, 1995. 10.1017/cbo9780511526558
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Revisiting requirement engineering for intelligent manufacturing;International Journal on Interactive Design and Manufacturing (IJIDeM);2022-06-30