Petri-net based application for supply chain management: An overview | IEEE Conference Publication | IEEE Xplore