Benchmarking GPenSIM

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 (GPenSIM) is a new Petri Net simulator that implements many of the Petri Net types. This paper presents first a short introduction to the various types of Petri Nets; second, GPenSIM is tested for its implementation of various Petri Net types, using the classical benchmark known as the problem of “Buffered Producers-Consumers with shared channel (BPC)”; the modeling and simulations given in this paper show that the classical BPC problem can be solved by a variety of Petri Net extensions implemented in GPenSIM. In addition to the Petri Net extensions, some facilities are also provided in GPenSIM (e.g. resources), with which some specific problems can be conveniently solved.