Empirical Analysis and Optimization for Supply Chain Finance Business Process Based on Petri Nets | IEEE Conference Publication | IEEE Xplore