Extending Petri nets for specifying man–machine dialogues

This publication has 7 references indexed in Scilit:

• Extending State Transition Diagrams for the Specification of Human–Computer Interaction
  IEEE Transactions on Software Engineering, 1985
• Formal Specification of User Interfaces: A Comparison and Evaluation of Four Axiomatic Approaches
  IEEE Transactions on Software Engineering, 1985
• A structured approach to designing human-computer dialogues
  International Journal of Man-Machine Studies, 1984
• The Interface of the UIMS to the Application Working Group Report
  Computer Graphics Forum, 1984
• The Command Language Grammar: a representation for the user interface of interactive computer systems
  International Journal of Man-Machine Studies, 1981
• A Formalization of Transition Diagram Systems
  Journal of the ACM, 1973
• Design of a separable transition-diagram compiler
  Communications of the ACM, 1963