A method for enterprise architecture validation with colored Petri Nets

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.