Modelling the user interface of an industrial system in colored Petri nets. - Giovanni F. de Farias; Maria de F. Q. V. Turnell (SMC, 1998)