Petri Net Based Business Process Simulation and Analysis Technology | IEEE Conference Publication | IEEE Xplore