Modelling and Analysing Deadlock in Flexible Manufacturing System Using Untimed Petri Net

Manufacturing systems nowadays become more complex due to the need for more flexibility in the production line to achieve the market requirement. One of the main problems that may happen from flexibility is the deadlock due to many reasons such as sharing resources. Deadlock occurs when a process is not able to finish its task because of waiting of shared resources that are used by other processes. To avoid this issue, a modelling and simulating for the flexible system using one of the modelling approaches will help to avoid the deadlock. One of the effective tools to model and detect the deadlocks is the petri net. In this research the Matlab software has been used to simulate untimed petri net to detect the deadlock in two parallel lines with two shared machines. The analysis shows that deadlock exists at transition that waits for a shared place which is busy with another transition.