Return to Article Details Lattice-extended Coloured Petri Net Rewriting for Adaptable User Interface Models Download Download PDF