Computer-aided design of intelligent control systems for discrete event dynamic systems

Presents a Petri nets-based approach to both modelling the discrete event dynamic systems (DEDS) to be controlled and the representation of knowledge about details or specifications concerning the control task. In order to synthesize intelligent control systems for the DEDS a procedure utilizing the Petri nets-based model of both the DEDS and the knowledge representation (both of them expressed in analytical terms) is proposed.<
>