Verifying Solutions to the Dining Philosophers Problem with Activity-Oriented Petri Nets

Abstract

Petri Nets is a family of modeling formalisms, consisting of various types of Petri nets with different interpretations and abstraction levels. General Purpose Petri Net Simulator (GPen SIM) is a new Petri Net simulator that implements many of the Petri Net types. Activity-Oriented Petri Nets (AOPN) is a new approach that facilitates modeling of some specific problems (e.g. Modeling systems that include large number of resources), AOPN is also implemented in GPen SIM. In this paper, firstly, a short introduction to AOPN is given. Secondly, the modeling capability of AOPN is tested using the classical benchmark known as the Dining Philosophers Problem. The modeling approach shown in this paper proves that AOPN can be conveniently used for modeling of discrete event systems.