Skip to Main content Skip to Navigation
Conference papers

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

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.
Document type :
Conference papers
Complete list of metadata

https://hal-uphf.archives-ouvertes.fr/hal-03409109
Contributor : Aurélien Vicentini Connect in order to contact the contributor
Submitted on : Friday, October 29, 2021 - 2:48:44 PM
Last modification on : Wednesday, November 3, 2021 - 4:00:51 AM

Identifiers

  • HAL Id : hal-03409109, version 1

Collections

Citation

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

Share

Metrics

Record views

4