Modeling of quad-station module cluster tools using petri nets