HelpDez: Colored-Petri-Net-Based Hypermedia Help System Designer. - Huan Chao Keh; Ted G. Lewis (SEKE, 1990)

Direct-manipulation user interface modeling with high-level Petri nets. - Huan Chao Keh; Ted G. Lewis (ACM Conference on Computer Science, 1991)