A tool for the synthesis of discrete controllers for distributed systems

Controllers belonging to the process class known as discrete-event processes are synthesized. These discrete-event processes are mainly characterized by asynchronous and nondeterministic behaviour. A tool is presented that features the use of a formal description technique as the starting point for the synthesis. The formal technique used by the tools is an extension of R. Milner's calculus for communicating systems. (1985).<
>