فهرس المقالات Abdolghader pourali المقاله 1 - Availability evaluation of Software architecture of object oriented Style using coloured Petri nets Abdolghader pourali Journal of Advances in Computer Engineering and Technology , العدد 1 , السنة 3 , زمستان 2017