A timed Petri net approach for verification of Territorial Healthcare Information Systems - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

A timed Petri net approach for verification of Territorial Healthcare Information Systems

Résumé

This paper addresses the performance evaluation and verification of territorial healthcare information systems. For this purpose, we propose a new class of timed Petri nets, called THIS nets (Territorial Healthcare Information Systems), which formally describes patient care-pathways, relevant information flows and their interactions. THIS nets are then used for verification of the health information systems and evaluation of their performances such as cycle time distribution and probability of information availability at some target time. A real example of cancer patient healthcare information system is used to illustrate the usefulness of the proposed approach. We show that advanced information system allows earlier start of the medical consultations and thus a more efficient care pathway.
Fichier non déposé

Dates et versions

hal-01861043 , version 1 (24-08-2018)

Identifiants

Citer

Sabri Hamana, Vincent Augusto, Xiaolan Xie. A timed Petri net approach for verification of Territorial Healthcare Information Systems. 2016 IEEE International Conference on Automation Science and Engineering (CASE), Aug 2016, Fort Worth, United States. ⟨10.1109/COASE.2016.7743465⟩. ⟨hal-01861043⟩
63 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More