Ricardo J. Rodríguez, PhD

My friend and colleague Simona Bernardi has found a bug in GreatSPN that provokes a segmentation fault when simulating nets specifying a set of transitions to be observed (i.e., to collect its related throughput).

In file “greatspn/SOURCE/WN/SOURCE/SIMULAT/stat.c”, look for the line

fprintf(resfp,"Efficiency ---> %zu transition firings per second\n",
events_made/(newt-oldt));


must be replaced with


if(newt!=oldt)
fprintf(resfp,"Efficiency ---> %zu transition firings per second\n",
events_made/(newt-oldt));
else
fprintf(stdout,"Efficiency ---> %d transition firings per second\n",
events_made);