Facilitating the comprehension of business process models for unexperienced modelers using token-based animations