Design of real-time control systems requires new methodologies in their modelling,verification and implementation. In the paper a complex integrated design system ispresented. The design process starts with analysing of the Petri net model of the control systemin a special software environment that performs modelling, verification, validation andperformance evaluation of the model, its conversion into AHDL code (Hard Petri net), simulationof the obtained code in MAX+ Plus II environment and FPGA or CPLD configurationof the control system.