Abstract
A Petri net-based methodology for intelligent controller design is formulated and applied to such discrete-event systems as flexible manufacturing systems. A design theory is proposed based on the integration of Petri net theory, machine intelligence techniques, and process control theory organized as a hierarchy. Both bottom-up and top-down synthesis methods are discussed.< >