“…We start with describing a process [23] to model user interface using Coloured Petri Nets with the help of simple infusion pump example as shown in Figure 1. For modelling a user interface of an interactive system, three things that needs consideration are: firstly, all the widgets that a system have, secondly, the category of these widgets, i.e., deciding if the widget is just a responder which displays messages or the widget is actually doing some action etc., and thirdly what type of behaviours are associated with these widgets, i.e., functions that are executed when the widget is interacted with.…”