Application of petri nets in manufacturing planning and control