Revisiting Petri Net Modeling of the Cigarette Smokers' Problem: A GPenSIM Approach

Petri Nets is a family of modeling formalisms, with different interpretations and abstraction levels; the Petri nets family of modeling formalisms includes ordinary Petri Net, generalized Petri Net, and also all other extensions e.g. Colored Petri Net, Petri Net with priority, and Petri Net with inhibitor arcs. The availability of different formalisms of the Petri Net family is considered as its main strength, since a discrete system can be modeled with different Petri Net formalism, in order to achieve different abstraction levels and different interpretations. This work presents an application of a new Petri Net simulator known as GPenSIM; GPenSIM is used to model the classical Cigarette Smokers' Problem, using the different Petri Net extensions implemented in GPenSIM. Thus, this work can be considered as a benchmark to test the strengths and weakness of GPenSIM, in modeling and simulation of discrete event systems.