Applications of petri net based models in the modelling and analysis of flexible manufacturing systems

Petri nets have evolved into a powerful tool for analyzing asynchronous concurrent systems. In this paper we review the applications of Petri nets to FMSs. We present applications of Petri net models in the design of simulators for flexible manufacturing systems (FMSs) and in the verification (by investigating the presence/absence of deadlock) of the logic used to design the hardware/software for controllers used in FMSs.