Use of interpreted petri nets for human-machine dialogue specification in process control - Université Polytechnique des Hauts-de-France Accéder directement au contenu
Communication Dans Un Congrès Année : 2000

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

Meriem Riahi
  • Fonction : Auteur
  • PersonId : 1038768
Faouzi Moussa
  • Fonction : Auteur
  • PersonId : 1040523
Mohamed Moalla
  • Fonction : Auteur

Résumé

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.
Fichier principal
Vignette du fichier
ACIDCA 2000 Riahi et al.pdf (479.94 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03409109 , version 1 (14-02-2024)

Identifiants

  • HAL Id : hal-03409109 , version 1

Citer

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⟩
25 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More