Skip to Main content Skip to Navigation
Journal articles

Interpreted Petri Nets used for human-machine dialogue specification

Abstract : This paper proposes an approach for the specification of human-machine dialogue for interactive process control applications supported by a tool called Ergo-Conceptor+. This approach is based on a formal modelling of the Human-Machine System (HMS) behaviour. This modelling make possible the deduction of the user requirements and then the identification of the User Interface (UI) objects. A formalism using Interpreted Petri Nets is proposed for modelling the Human-Machine dialogue. The formal aspect allows the validation of the specifications before going on to the generation of the interface.
Document type :
Journal articles
Complete list of metadata
Contributor : Aurélien Vicentini Connect in order to contact the contributor
Submitted on : Wednesday, September 1, 2021 - 11:37:04 AM
Last modification on : Tuesday, October 19, 2021 - 6:38:14 PM


  • HAL Id : hal-03330812, version 1



Faouzi Moussa, Meriem Riahi, Christophe Kolski, Mohamed Moalla. Interpreted Petri Nets used for human-machine dialogue specification. Integrated Computer-Aided Engineering, IOS Press, 2002, 9 (1), pp. 87-98. ⟨hal-03330812⟩



Record views