Improving Business Process Efficiency for Supply Chain Finance: Empirical Analysis and Optimization Based on Stochastic Petri Net | IEEE Journals & Magazine | IEEE Xplore