A Petri net-based visual language for specifying GUIs | IEEE Conference Publication | IEEE Xplore