List of Articles sequence diagram Open Access Article Abstract Page Full-Text 1 - Availability evaluation of Software architecture of object oriented Style using coloured Petri nets Abdolghader pourali