Una formalizzazione lineare del modello HIN

Abstract

Nel rapporto viene descritta la formalizzazione del modello HIN, basato sulle reti di Petri. Il modello HIN ha lo scopo di descrivere la storia clinica di un paziente in modo da permettere non solo la generazione semiautomatica delle query per estrarre casi clinici dalle cartelle cliniche elettroniche ma anche per valutare la distanza tra due storie cliniche per valutare la distanza tra due storie cliniche fornendo indicazioni utili per la scelta.