Modeling and simulation of loading and unloading scheduling system based on agent and petri net | IEEE Conference Publication | IEEE Xplore