Skip Miner: Towards the Simplification of Spaghetti-like Business Process Models | IEEE Conference Publication | IEEE Xplore