For the most recent entries see the Petri Nets Newsletter.

Industrial User Interface Evaluation Based on Coloured Petri Nets Modelling and Analysis.

Turnell, Maria de F.Q.V.; Scaico, Alexandre; de Sousa, Marckson R.F.; Perkusich, Angelo

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.

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

Back to the Petri Nets Bibliography