Grafcet and Petri Nets in Manufacturing