Measuring the Complexity of User Processes using Shannon Entropy and Stochastic Petri Nets Topics: Decision Making; Design and Evaluation; System Performance In Proceedings of the International Conference on Computer-Human Interaction Research and Applications CHIRA - Volume 1, 212-217, 2017 , Funchal, Madeira, Portugal