This paper presents a methodology for design models verify ISO conditions in engineering and Education. The first model uses matrix structural analysis to calculate the exact values design engineering and this model verify ISO conditions also it is far you estimation principles or ad-hoc principles but depend on the calculate the actual values. The second model uses Petri net have four layers sparsely connected networks. Petri net contain dynamic structures that evolve by growing and pruning of places, Transitions and connections. Petri net (also known as a place/transition net or P/T net [1]) is one of several mathematical representations of discrete distributed systems. As a modeling language, it graphically depicts the structure of a distributed system. In this paper, Petri net merge three levels represent (the conditions of building, staff, students) to design model of computer science department verify ISO while level number four represents the decision level. The models suggest in this paper recognize by capable of extended and generalizing from a small data set of large data vectors as well as from large data sets and small data vectors depend on uses data analysis principle.