In: International Journal of Production Research, Vol. 32, No. 8, pages 1819-1835. 1994.
Abstract: In this paper, we begin with the fundamental constructs of Petri net models. We then suggest extensions that help make Petri nets useful for modeling manufacturing systems. We 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.
Keywords: Petri nets, manufacturing systems.