Design of user-driven interfaces using Petri nets and objects

This publication has 8 references indexed in Scilit:

• Extending Petri nets for specifying man–machine dialogues
  International Journal of Man-Machine Studies, 1988
• Statecharts: a visual formalism for complex systems
  Science of Computer Programming, 1987
• A specification language for direct-manipulation user interfaces
  ACM Transactions on Graphics, 1986
• A survey of three dialogue models
  ACM Transactions on Graphics, 1986
• User Interface Management Systems
  Published by Springer Nature ,1985
• SYNGRAPH
  ACM SIGGRAPH Computer Graphics, 1983
• A generalized transition network representation for interactive systems
  Published by Association for Computing Machinery (ACM) ,1983
• Transition network grammars for natural language analysis
  Communications of the ACM, 1970