Interpreted Petri Nets used for human-machine dialogue specification

A stage structure of an axial turbine includes a stationary inner ring, a stationary outer wall, a row of stationary blades mounted on the stationary inner ring and outer wall, a row of moving blades, and a shroud ring mounted on the tips of the moving blades. An annular solid substance, disposed immediately downstream of an axial gap formed between an axial end of the shroud ring and surface of the outer wall axially facing the axial end of the shroud ring, reduces an expansion space provided immediately downstream of the axial gap, whereby circulation of an ejection flow from a main stream through the axial gap is reduced so that the turbine stage efficiency is improved. The annular solid substance may be a ring fixed to the stationary outer wall, a protrusion or a cylinder formed by a portion of the outer wall.

[1]  Gunnar Johannsen.  Conceptual design of multi-human machine interfaces , 1995 .

[2]  David L. Parnas,et al.  On the use of transition diagrams in the design of a user interface for an interactive computer system , 1969, ACM '69.

[3]  E. N. Corlett,et al.  Evaluation of human work : a practical ergonomics methodology , 1991 .

[4]  J. Shaoul.  Human Error , 1973, Nature.

[5]  J. Coutaz.  Interface homme-ordinateur : conception et réalisation , 1988 .

[6]  Jean Vanderdonckt,et al.  Development milestones towards a tool for working with guidelines , 1999, Interact. Comput..

[7]  Francis Jambon,et al.  A Uniform Approach for Specification and Design of Interactive Systems: the B Method , 1998, DSV-IS.

[8]  F Moussa,et al.  A model based approach to semi-automated user interface generation for process control interactive applications , 2000, Interact. Comput..

[9]  Robert J. K. Jacob,et al.  A State Transition Diagram Language for Visual Programming , 1985, Computer.

[10]  Janice Redish,et al.  Task analysis , 2002 .

[11]  H B TIMMERMAN,et al.  What is task analysis? , 1951, Bulletin of the Medical Library Association.

[12]  Willem R. van Biljon.  Extending Petri Nets for Specifying Man-Machine Dialogues , 1988, Int. J. Man Mach. Stud..

[13]  Harold S. Blackman,et al.  The User-Computer Interface in Process Control: A Human Factors Engineering Handbook , 1989 .

[14]  M. Abed.  Contribution à la modélisation de la tâche par des outils de spécification exploitant les mouvements oculaires : application à la conception et l'évaluation des interfaces homme-machine , 1990 .

[15]  Guy Durrieu,et al.  Deriving a Formal Model of an Interactive System from its UIL Description in order to Verify and Test its Behaviour , 1996, DSV-IS.

[16]  Christophe Kolski,et al.  A Petri Nets based Method for Specification and Automatic Generation of User Interface , 1999, HCI.

[17]  Giuseppe Mancini,et al.  Intelligent Decision Support in Process Environments , 1986, NATO ASI Series.

[18]  Fabio Paternò,et al.  On the use of LOTOS to describe graphical interaction , 1993 .

[19]  Sebastiano Pizzutilo,et al.  Formal description and evaluation of user-adapted interfaces , 1998, Int. J. Hum. Comput. Stud..

[20]  Constantine Stephanidis,et al.  Integrated support for working with guidelines: the Sherlock guideline management system , 2000, Interact. Comput..

[21]  J. Rassmusen,et al.  Information Processing and Human - Machine Interaction: An Approach to Cognitive Engineering , 1986 .

[22]  Faouzi Moussa.  Contribution à la conception ergonomique des interfaces de supervision dans les procédés industriels : application au système ERGO-CONCEPTOR , 1992 .

[23]  Elizabeth A. Buie,et al.  User interface guidelines and standards: progress, issues, and prospects , 1999, Interact. Comput..

[24]  Thomas B. Sheridan.  Task Analysis, Task Allocation and Supervisory Control , 1997 .

[25]  Robin Jeffries,et al.  The Role of Task Analysis in the Design of Software , 1997 .

[26]  Hans-Jörg Bullinger,et al.  Human-computer interaction : ergonomics and user interfaces , 1999 .

[27]  John M. O'Hara,et al.  Software Tool for the Use of Human Factors Engineering Guidelines to Conduct Control Room Evaluations , 1999, HCI.

[28]  Allen Newell,et al.  The psychology of human-computer interaction , 1983 .

[29]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[30]  Jens Rasmussen,et al.  Information Processing and Human-Machine Interaction , 1986 .

[31]  Philippe A. Palanque,et al.  Formal Methods in Human-Computer Interaction , 1997, Formal Approaches to Computing and Information Technology (FACIT).

[32]  Sidney L. Smith,et al.  Guidelines for Designing User Interface Software , 1986 .

[33]  Kenneth J. Turner,et al.  Using Formal Description Techniques: An Introduction to Estelle, Lotos, and SDL , 1993 .