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

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

https://hal.archives-ouvertes.fr/hal-01861043
Contributor : Amélie Chatagnon <>
Submitted on : Friday, August 24, 2018 - 9:50:40 AM
Last modification on : Monday, January 20, 2020 - 12:14:05 PM

Identifiers

Citation

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⟩

Share

Metrics

Record views

62