Strict concurrency and nondeterministic control of discrete-event systems

By strict concurrency is meant possible simultaneity of events in discrete-event systems (DESs). A study is made of the control of DESs with strict concurrency by nondeterministic controllers. It is shown that nondeterministic controllers are more powerful than deterministic controllers in dealing with strict concurrency. A discussion is presented of how to synthesize nondeterministic controllers which allow the controlled process to operate with maximal strict concurrency according to a specified criterion. >