Huan Chao Keh

Learn More
This paper presents a high-level Petri net model for representing and analyzing the design of direct-manipulation user interfaces. This model based on annotated Petri nets not only represents the relationships among individual user interface objects but specify the execution semantics of the direct-manipulation user interface. The annotated Petri net(More)
  • 1