pourali, Abdolghader (2017). Availability evaluation of Software architecture of object oriented Style using coloured Petri nets. *Journal of Advances in Computer Engineering and Technology*, 3(1), 1-10.