A Petri net methodology for the design of parallel controllers. - Abdenour Amroun (1990)