Architecture includes so many documents where each describes one part of an enterprise. The problem in using such descriptions is on how to consider and use all components. Therefore, in order to organize the descriptions of enterprise architecture, we should use a framework. C4ISR is one of the enterprise architectural frameworks, which includes three views, contains some products. In order to show the products, this framework needs a unified notation, which covers all the products with various views. Unified Modeling Language (UML) prepares such situation. But in order to decrease the expenses of enterprise architectural productions process, the architectural products shall be evaluated before the architectural implementation level happens. In this article, a simple way for validation of enterprise architectural products with Colored Petri Nets is presented to evaluate true behavior of architectural products well.

Alishahia, M., Harounabadi, A & Mirabedini, S. (2012). A method for enterprise architecture validation with colored Petri Nets.Management Science Letters, 2(7), 2417-2424.

Bai, X.H.(2008). Study of C4ISR architecture simulation validation with UML and object-based nets.IEEE 8th International Conference on Computer and Information Technology Workshops, in: Heilongjiang University, Harbin, Heilongjiang, China.

Bernardi, S., Donatelli, S., & Merseguer, J. (2002). From UML sequence diagrams and stateharts to analysable Petri Net Models. WOSP '02 Proceedings of the 3rd International Workshop on Software and Performance, ACM New York, NY, USA, 35-45.

Bernardi, S., & Merseguer, J. (2007). Performance Evaluation of UML Design with Stochastic Well-Formed Nets. The Journal of Systems and Software, 80, 1843–1865.

Booch, G., Rumbaugh, J., & Jacobson, I. (1999). The Unified Modeling Language User Guide. Addison Wesley, Reading MA.

Emadi, S., & Shams, F. (2009). A new executable model for software architecture based on Petri Net. Indian Journal of Science and Technology, 2(9), 15-25.

Jensen, K. (1993). An introduction to the theoretical aspects of coloured Petri nets, in: J.W. de Bakker, W.-P. deRoever, G. Rozenberg (Eds.).A Decade of Concurrency, in: Lecture Notes in Computer Science, 803, Springer-Verlag, 230-272.

Khayami, R, (2011).Qualitative characteristics of enterprise architecture. Procedia Computer Science, 3, 1277–1282.

Locob, M.E., & Jonkers, H. (2005). Quantitative analysis of enterprise architectures. In the Proceedings of the First International Conference on Interoperability of Enterprise Software and Application (INTEROP-ESA’2005), Geneva, Switzerland, 234-248.

Mozafari, M., Harounabadi, A., &Mirabedini, S.J. (2011). A method for validating the behavior of enterprise architecture. World Applied Sciences, 14(6), 831-841.

Ostadzadeh, S.H., & Nekoui, M.A. (2009). A Petri-Nets based unified modeling approach for Zachman framework cells. In the Proceedings of ScSS’2009, 615-618.

Ourdani, A., Esteban, M., Paludetto, & Pascal, J.C. (2006). A Meta Modeling Approach for Sequence Diagram to Petri Nets Transformation within the Requirements Validation Process. Proceedings of the European Simulation and Modeling Conference, Toulouse, France, 345-349.

Khayami,R., Tawhidi, A., & Ziarati, K. (2011). Evaluation quality characteristic of enterprise architecture. In the Proceedings of World Conference on Information Technology, 3, 1277-1282.

Rezaei, R., & Shams, F. (2008). A methodology to create data architecture in Zachman framework. World Applied Science Journal, 3(2), 343-349.

Saldhana, J. A., & Shatz, M. (2000). UML diagrams to object Petri Net models: An approach for modeling and analysis, in: Department of Electrical Engineering and Computer Science University of Illinois at Chicago, USA.

Unified Modeling Language Specification Version 1.4.2, OMG.(2004).

Wagenhals, L.W., Haider, S., & Levis, A.H. (2003). Synthesizing executable models of object oriented architectures. Journal of Systems Engineering, 6(4), 266-300.