In: LNCS 2220: Interactive Systems: Design, Specification, and Verification, pages 69-pp. 8th International Workshop, DSV-IS 2001. Glasgow, Scotland, UK, June 13-15, 2001. Revised Papers / C. Johnson (Ed.) --- Springer Verlag, October 2001.
Abstract: 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.
Back to the Petri Nets Bibliography