Modelling the user interface of an industrial system in colored Petri nets.

Giovanni F. de Farias, Maria de F. Q. V. Turnell

Browse the full SMC paper archive.