This library is set up to work well with the SML package manager smlpkg. To use the package, in the root of your project directory, execute the command: You can now ...

Abstract: Conformance checking techniques compare process models of organizational behavior with observed process executions to reveal their deviations. Traditional alignments concern individual ...