Date of Publication :25th March 2023

Abstract: A Petri net is a particular kind of bipartite directed graph. The notion of the 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 behavior, 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. 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.

Reference :