Petri net simulation of manufacturing systems considering multiple machines, operators, and maintenance for a product-mix | IEEE Conference Publication | IEEE Xplore