Controller design using Coloured Petri Nets — With a case study of the papermaking process control | IEEE Conference Publication | IEEE Xplore