Practice of Petri Nets in Manufacturing