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