Summary: Blocking Detection in Discrete Event Systems
Sherif Abdelwahed
sherif.abdelwahed@vanderbilt.edu
Institute for Software Integrated Systems
Vanderbilt University
Nashville, TN, USA
W. M. Wonham
wonham@control.toronto.edu
Department of Electrical Engineering
University of Toronto
Toronto, Ontario, Canada
Abstract
In this paper we present an approach for blocking de-
tection in multiprocess DES. In the proposed approach,
potential blocking states are first identified by examin-
ing shared transitions in the system components and
then tested for their reachability.
1 Introduction
Blocking is a major problem in multiprocess discrete
event systems (DES). Blocking originates from the na-

Source: Abdelwahed, Sherif - Department of Electrical Engineering and Computer Science, Vanderbilt University

Collections: Engineering