Stückrath, J.; Weyers, B. Lattice-Extended Coloured Petri Net Rewriting for Adaptable User Interface Models. eceasst 2014, 67.