DESIGNING AND ANALYSING A PETRI NET MODEL OF A SMALL HOSPITAL 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 hospital has been proposed, keeping in view the spread of the COVID-19 virus. Emphasis has been given to practicing social distancing and allowing a minimum number of people together at any stage. This model, which accounts for three beds (which can be occupied by new patients subsequently) and one staff and their respective activities and a doctor for treatment, has been interpreted as a dynamic system. Furthermore, the model’s design has been validated structurally and behaviorally using techniques from Linear Algebra, transitive matrices, and transition vectors. And defind the token flow with the help of petri net formulas and inference of properties like cyclic/acyclic nature, conflict, concurrency, boundedness, conservativeness, safeness, liveness, and deadlock has been interpreted physically with the proposed model.