@INPROCEEDINGS{MerzMoldtMüller-JonesLamersdorf1995,
  author    = {Michael Merz and Daniel Moldt and Kay Müller-Jones and Winfried Lamersdorf},
  title     = {Workflow Modelling and Execution with Coloured Petri Nets in COSM},
  booktitle = {Workshop on Applications of Petri Nets to Protocols, Proceedings 16th International Conference on Application and Theory of Petri Nets, 1995},
  year      = {1995}
}