In: Proc. IEEE Int. Conf. on Systems, Man, and Cybernetics (SMC'98), 11-14 October 1998, San Diego, CA, pages 1127-1132. 1998.
Abstract: This paper proposes the modeling and analysis of computer user interfaces using colored Petri nets (CPNs). It presents a case study in which a user interface is modeled and analyzed using a computational tool Design/CPN. The results of the analysis are discussed based upon the verification of the properties of the nets.
Keywords: Design/CPN, colored Petri nets, user interface modeling.