Text this: Design of automatic control system based on unified timed hybrid Petri net