Maria de F. Q. V. Turnell, Alexandre Scaico, Marckson R. F. de Sousa, Angelo Perkusich. Industrial User Interface Evaluation Based on Coloured Petri Nets Modelling and Analysis. In Chris Johnson, editor, Interactive Systems: Design, Specification, and Verification, 8th International Workshop, DSV-IS 2001, Glasgow, Scotland, UK, June 13-15, 2001, Revised Papers. Volume 2220 of Lecture Notes in Computer Science, pages 69-87, Springer, 2001. [doi]
Abstract is missing.