User interface evaluation based on coloured Petri nets modelling and analysis
Marckson Roberto Ferreira de Sousa, M.deF.Q.V. Turnell · 2002
This paper proposes the modelling and analysis of computer user interfaces in coloured Petri nets (CPN). It presents a case study in which a user interface is modelled and analysed using a computational tool-Design CPN. The results of the analysis are discussed based upon the verification of the properties of the nets.