Petri net based modeling of job-shop resource allocation in generic prototyping approach | IEEE Conference Publication | IEEE Xplore