Distributive control using algebras of processes

The control design of a discrete-event process is introduced using predicates and associated blocking events. The system is modelled using algebras of processes in a modular way where the integrity of tasks/resources is preserved. Using the modular structure of the finitely recursive processes a distributive control design is developed where the control actions are performed using operators of the algebra. These operators are implemented using programmable logical control components inserted within the modular structure of the system.