Patterns for process-aware information systems: an approach based on colored petri nets