Stückrath, J., & Weyers, B. (2014). Lattice-extended Coloured Petri Net Rewriting for Adaptable User Interface Models. Electronic Communications of the EASST, 67. https://doi.org/10.14279/tuj.eceasst.67.941