User interface evaluation: a structured approach
User interface evaluation: a structured approach
A tool to support specification and evaluation of context-customized interfaces
ACM SIGCHI Bulletin
Usability Engineering
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Validating interactive system design through the verification of formal task and system models
Proceedings of the IFIP TC2/WG2.7 Working Conference on Engineering for Human-Computer Interaction
A Petri Net based Environment for the Design of Event-driven Interfaces
Proceedings of the 16th International Conference on Application and Theory of Petri Nets
A design life-cycle for the formal design of user interfaces
FAC-FA'96 Proceedings of the 1996 BCS-FACS conference on Formal Aspects of the Human Computer Interface
Reasoning about Interactive Systems with Stochastic Models
DSV-IS '01 Proceedings of the 8th International Workshop on Interactive Systems: Design, Specification, and Verification-Revised Papers
Investigating System Navigation Ergonomics through Model Verification
Interactive Systems. Design, Specification, and Verification
| Hi-index | 0.00 |
This paper presents and discusses a generic navigation model built with Coloured Petri net (CPN) to support the analysis of the navigation component in human interface design. The modelling and analysis is developed in the context of supervisory control systems for industrial plants. The paper discusses the results of using this navigation model in an industrial application case study.