Text this: Applications of petri nets in manufacturing systems