Modelling the user interface of an industrial system in colored Petri nets | IEEE Conference Publication | IEEE Xplore