DESIGNING AND ANALYSING A PETRI NET MODEL OF FOUR FRIENDS SHARING TWO DRINKS

Abstract

A Petri net is a particular kind of bipartite-directed graph. The notion of Petri net was developed by Carl Adam Petri in 1962. Its application is through modeling. Petri net’s theoretical features enable accurate modeling and analysis of system behaviour, and its graphical representation makes it possible to visualize the modeled system. In this paper, a Petri Net model of four friends eating their respective food items but only having two drinks which will be shared among them has been discussed assuming that 1 st and 2 nd person will be sharing the first drink while 2 nd , 3 rd and 4 th person will be sharing the second drink. Each one of them will be in either eating or drinking state and at a time at most two of them can be in a drinking state. Furthermore, the analysis of this model is done by using the reachability tree and matrix equations. Its Safeness, Conservation, Coverability, Liveness and deadlock have been discussed in detail.