Petri Net Constructs for High Level Operation Lists

Abstract In this paper will be shown how product routes can be graphically specified in an application unspecific way. This facilitates the implementation of flexible manufacturing cells and enhances the flexibility in that physical changes in the cell will not affect the product descriptions. An operator can also specify independent product routes without concern for other products that may be simultaneously present in the system. Automatic transformations of the product routes into Petri nets is shown, and the Petri nets can further be used for synthesis of correct control laws for the production.