Petri net extensions for modelling and validating manufacturing systems

In this paper, the authors begin with the fundamental constructs of Petri net models. They then suggest extensions that help make Petri nets useful for modelling manufacturing systems. The authors also show how validation methods can be used to examine these systems for potential problems. Examples are presented to show how one might use this approach to determine the performance and validate the logic of a manufacturing system.