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

Jens Bæk Jørgensen Kristian Bisgaard Lassen Wil M. P. van der Aalst From task descriptions via colored Petri nets towards an implementation of a new electronic patient record workflow system. 15-28 2008 10 STTT 1 http://dx.doi.org/10.1007/s10009-007-0054-x db/journals/sttt/sttt10.html#JorgensenLA08