Kruger, Bernardus Rudolf2015-05-222015-05-222015-05-22http://hdl.handle.net/10539/17840enA design methodology for distributed real-time control systems based on augmented Petri NetsThesis