An Extended Petri-Net Based Approach for Supply Chain Process Modeling and Web Service Transformation | IEEE Conference Publication | IEEE Xplore