A Discrete Event System (DES) is a dynamic system that evolves in accordance with the abrupt occurrence of physical events. DESs arise in fields such as manufacturing, traffic control, and operating systems. This book presents the research work on human-computer supervision problem and DES implementation in manufacturing. Supervisory Control Theory (SCT) has received much attention since last decade. However, the problem of synthesizing computer supervisors with consideration of human interaction, has not been addressed. This book presents a framework that integrates the human interaction into supervisor synthesis. It not only provides the method for designing operator interfaces for computer supervised systems, but also forms a basis for accommodating unstructured manual interaction in normal operations. A SCT based rapid prototyping environment(EMBench), is developed to support mechanical design, control configuration, simulation and implementation for manufacturing automation systems. Several software tools to support system design and modeling are presented, including control design and verification tool(FBSCT); GUI development tool, and enhanced simulation tool with Simulink.