Huan-Chao Keh, Ted G. Lewis. Direct-manipulation user interface modeling with high-level Petri nets. In C. Jinshong Hwang, Richard S. Brice, editors, Proceedings of the 19th annual conference on Computer Science, CSC '91, San Antonio, Texas, USA, March 4-7, 1991. pages 487-495, ACM, 1991. [doi]
Abstract is missing.