Uncertainty Measure of Process Models using Entropy and Petri Nets Topics: Model Analysis and Checking In Proceedings of the 8th International Joint Conference on Software Technologies - Volume 0ICSOFT, 542-547, 2013 , Reykjavík, Iceland