Design methodology of control systems for industrial applications based on petri nets