Measuring the Complexity of User Processes using Shannon Entropy and Stochastic Petri Nets. - Martin Ibl; Zaneta Boruchová (CHIRA, 2017)