List of Articles Abdolghader pourali Article 1 - Availability evaluation of Software architecture of object oriented Style using coloured Petri nets Abdolghader pourali Journal of Advances in Computer Engineering and Technology , Issue 1 , Year , Winter 2017