Merz, Michael, Moldt, Daniel, Müller-Jones, Kay, Lamersdorf, Winfried: Workflow Modelling and Execution with Coloured Petri Nets in COSM. In: Workshop on Applications of Petri Nets to Protocols, Proceedings 16th International Conference on Application and Theory of Petri Nets, 1995. 1995