CONCURRENT VECTOR DISCRETE-EVENT SYSTEMS

The vector discrete-event system (VDES) is a compact serial discrete-e vent system model, in which the system state is represented by a vecto r with integer components and the transitions by integer vector additi on [13], [14]. Continuing the study of VDES, we introduce in this pape r concurrent VDES, extending the base VDES model to capture strict con currency, or possible simultaneity of events. We characterize the effe ct of strict concurrency on control, and show how to synthesize nondet erministic controllers allowing maximal concurrency of a controlled VD ES plant.