Petri-net based simulation of manufacturing cells

Prot nets are an extension to Petri nets, since they can be given a sophisticated semantics by assigning formal inscriptions to the objects of the net. In several applications to CIM (computer integrated manufacturing) systems they proved to give suitable support to object oriented programming, operational specification and rapid prototyping. In this work we present a graphical language, based on Prot nets, for building the specification of discrete event simulation models, and we illustrate its application to the simulation of a manufacturing cell.