Blocking detection in discrete event systems
Sherif Abdelwahed, Walter Murray Wonham · 2004
In this paper we present an approach for blocking detection in multiprocess DES. In the proposed approach, potential blocking states are first identified by examining shared transitions in the system components and then tested for their reachability.