From Task Descriptions via Colored Petri Nets Towards an