From task descriptions via colored Petri nets towards an implementation of a new electronic patient record workflow system · Study