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

@inproceedings{Jrgensen2006FromTD,
  title={From Task Descriptions via Coloured Petri Nets Towards an Implementation of a New Electronic Patient Record},
  author={Jens B{\ae}k J\orgensen and Kristian Bisgaard Lassen and Wil M. P. van der Aalst},
  year={2006}
}
We consider a given specification of functional requirements for a new electronic patient record system for Fyn County, Denmark. The requirements are expressed as task descriptions, which are informal descriptions of work processes to be supported. We describe how these task descriptions are used as a basis to construct two executable models in the formal… CONTINUE READING