Describir: GPenSIM: A New Petri Net Simulator