From Task Descriptions via Coloured Petri Nets Towards an Implementation of a New Electronic Patient Record (2006)

by J B Jørgensen, K B Lassen, W M P van der Aalst
Venue:In Proc. of 7th CPN Workshop, volume 579 of DAIMI-PB