 sadece formullerde beliritilen zelliklerin bulunduu alt proses rntlerin (zaman iinde deiim) belirlenebilirlii 
 aratrlacak.
 
 
 spatail modal cheking tamamlanmal

 
 
 
 state generationda input output yanl alyor
 			rnek mardareProtein