An executable architecture tool for the modeling and simulation of operational process models | IEEE Conference Publication | IEEE Xplore