A probabilistic-based approach to process model discovery | IEEE Conference Publication | IEEE Xplore