For the most recent entries see the Petri Nets Newsletter.

User interface evaluation based on colored Petri nets modeling and analysis.

de Sousa, M.R.F.; Turnell, M.F.Q.V.

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.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography