A graph theoretical approach to the performance analysis of highly concurrent systems