DESIGNING AND ANALYSING A PETRI NET MODEL OF A SMALL EATERY IN TIMES OF COVID

Abstract

The notion of Petri Net, formerly developed by Carl Adam Petri, is useful for modeling and analyzing a system’s behavior. Petri Net is a graphical tool, defined as a bipartite graph consisting of two types of nodes, places (conditions) and transitions (activities). In general, a discrete event dynamic system consists of activities that can model the system by consecutively listing its states; prior and after to the occurrence of these activities. In this paper, a Petri Net model for a small eatery has been proposed, keeping in view the spread of the COVID-19 virus. Emphasis has been given to practicing so cial distancing and allowing a minimum number of people together at any stage. This model, which accounts for two service tables (which can be occupied by new cus tomers subsequently) and one service provider (waiter) and their respective activities, has been interpreted as a dynamic system. Furthermore, the model’s design has been validated structurally and behaviorally using techniques from Linear Algebra, transi tive matrices, and transition vectors. The reachability tree has been made for drawing out more behavioral conclusions. Besides, inference of properties like cyclic/acyclic nature, conflict, concurrency, boundedness, conservativeness, safeness, liveness, and deadlock has been interpreted physically with the proposed model.