Petri Nets and Control Synthesis : An Object-Oriented Approach

When implementing control of discrete event systems, the efficiency and reliability would be greatly improved if the control algorithms could be automatically synthesised. Using reusable software modules as models of the physical resources, and part-routing as specifications on the system-behavior, we will show how such automatic generation of control… CONTINUE READING