Use of interpreted petri nets for human-machine dialogue specification in process control - Université Polytechnique des Hauts-de-France Access content directly
Conference Papers Year :

Use of interpreted petri nets for human-machine dialogue specification in process control

Meriem Riahi
  • Function : Author
  • PersonId : 1038768
Faouzi Moussa
  • Function : Author
  • PersonId : 1040523
Mohamed Moalla
  • Function : Author

Abstract

This paper studies an approach for designing graphical Interfaces for process control. This approach is based on a formal modelling of the Human-Machine System behaviour. This modelling allows the deduction of the user requirements and then, the identification of the interface objects. The formal aspect permits the validation of the generated specifications before proceeding to the automatic generation of the interface. A formalism using Interpreted Petri Nets is here proposed for modelling the Human-Machine dialogue.
Not file

Dates and versions

hal-03409109 , version 1 (29-10-2021)

Identifiers

  • HAL Id : hal-03409109 , version 1

Cite

Meriem Riahi, Faouzi Moussa, Christophe Kolski, Mohamed Moalla. Use of interpreted petri nets for human-machine dialogue specification in process control. ACIDCA’2000, Mar 2000, Monastir, Tunisia. ⟨hal-03409109⟩
21 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More