Publisher's Synopsis
Reviews research in the control of discrete-event systems, and its application to such areas as flexible manufacturing, communication, database management, traffic control, and concurrent and real-time software verification and design. The 19 papers present models of real-time system behavior, methods for decreasing computation and model complexity