Concurrent vector discrete-event systems

Abstract

The vector discrete-event system (VDES) is a compact serial discrete-event system model, in which the system state is represented by a vector with integer components and the transitions by integer vector addition. Continuing the study of VDES, we introduce in this paper concurrent VDES, extending the base VDES model to capture strict concurrency, or possible simultaneity of events. We characterize the effect of strict concurrency on control, and show how to synthesize nondeterministic controllers allowing maximal concurrency of a controlled VDES plant.< >