A resource estimation method based on timed Petri net for discrete production systems | IEEE Conference Publication | IEEE Xplore