Generating Random Petri Nets for GPenSIM environment | IEEE Conference Publication | IEEE Xplore