Algebraic analysis and criterion for blocking detection of multiprocess systems

In this paper, we give a matrix-based approach for blocking detection of multiprocess systems. Based on the matrix expression, the deadlock detection is discussed first, and the potential blocking states in composite automata are identified by examining shared transitions in the components. Then the livelock detection in the multiprocess systems are studied using the proposed approach to detect cycles and cliques. Examples is also given for illustration.