1. DoD Architecture Framework Working Group: DoD architecture framework version 1.5, Volume I: Introduction. U.S. Department of Defense (2007)
2. Staines, T.S.: Intuitive mapping of UML 2 activity diagrams into fundamental modeling concept Petri net diagrams and colored Petri nets. In: 15th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, pp. 191–200. Institute of Electrical and Electronics Engineers Inc., Belfast (2008)
3. Wang, R.Z., Dagli, C.H.: An Executable System Architecture Approach to Discrete Events System Modeling Using SysML in Conjunction with Colored Petri Net. In: 2nd Annual IEEE Systems Conference, pp. 1–8. IEEE Computer Society, Montreal (2008)
4. Ni, F., Wang, M.Z., Liao, J.J., Zhou, J.D.: Enhancing DoDAF with a HCPN executable model to support validation. In: 2th International Symposium on Computational Intelligence and Design, pp. 283–287. IEEE Press, Changsha (2009)
5. Wagenhals, L.W., Liles, S.W., Levis, A.H.: Toward executable architectures to support evaluation. In: 2009 International Symposium on Collaborative Technologies and Systems, pp. 502–511. IEEE Computer Society, Baltimore (2009)