Modeling of semiconductor manufacturing lines has always been a difficult issue. By employing the graphical description and mathematical expression of Petri nets, the paper defines the concept of work ...