Modelling a system using Petri Nets [RO]

33
Modelarea procesului de internare a pacienţilor utilizând reţele Petri colorate Pănescu Adrian Tudor

description

My presentation given for the Petri Nets course at the Faculty of Computer Science, "A. I. Cuza" University of Iasi, Romania, May 2011.

Transcript of Modelling a system using Petri Nets [RO]

Page 1: Modelling a system using Petri Nets [RO]

Modelarea procesului de internare a pacienţilor utilizând reţele Petri

colorate

Pănescu Adrian Tudor

Page 2: Modelling a system using Petri Nets [RO]

„Simulation of Patient Admission Process Using Colored Petri Net”, Barjis, J., Freund,

S., Schulze, C., Proceedings of EOMAS 2008

Page 3: Modelling a system using Petri Nets [RO]

~adrian.panescu/files/pn/

➔Prezentarea➔Lucrarea originală

➔Referatul➔Re eaua Petri colorată, fi ier CPN Tools ț ș

(PAP.cpn)

Page 4: Modelling a system using Petri Nets [RO]

GMC

Grand Medical Center, SUA 4000 angajaţi, 750 medici Cotat între primele spitale din SUA ca

performan ă ț

Page 5: Modelling a system using Petri Nets [RO]

Motiva ieț

2005: 400.000 pacien iț 2006: 120.000 pacien i ajun i la camera ț ș

de gardă Procesul birocratic de internare a

pacien ilor este unul complexț Numero i actori/agen i: pacien ii, medici, ș ț ț

personalul auxiliar GMC, compania de asigurări, alte spitale

Page 6: Modelling a system using Petri Nets [RO]

Procesul de internare I

Medicul hotără te internareaș Spitalul este în tiin atș ț Compania de asigurări este notificată

Page 7: Modelling a system using Petri Nets [RO]

Procesul de internare II

Pacientul este internat

sau Va fi transferat la un alt spital (procesul

se încheie)

Page 8: Modelling a system using Petri Nets [RO]

Procesul de internare III

După internare, pacientul este plasat în unitatea corespunzătoare

Se creează un profil al pacientului Managerul de caz:

➔ Verifică situa ia asigurării medicaleț➔ Introduce profilul în HIS Transmite companiei de asigurări alte detalii

privind internarea

Page 9: Modelling a system using Petri Nets [RO]

Procesul de internare IV

La externare:➔ Dacă pacientul este asigurat, factura este

trimisă companiei de asigurări➔ În caz contrar, factura este transmisă

pacientului

Page 10: Modelling a system using Petri Nets [RO]

Procesul de internare V

Dacă pacientul trebuie să plătească dar nu î i permite:ș

➔ Depune o cerere de compensare➔ GMC investighează situa ia financiară a ț

acestuia prin intermediul FairTrial➔ GMC poate anula factura pacientului dacă

acesta are o situa ie financiară dificilă ț

Page 11: Modelling a system using Petri Nets [RO]

Tranzac iiț

Schimbul de informaţii între două sau mai multe entităţi şi acţiunile asociate acestui schimb

Precondi iiț Doi actori: ini iator, executantț Rezultat

Page 12: Modelling a system using Petri Nets [RO]

T1

Cererea de internare Ini iator: Mediculț Executant: GMC Rezultat: Cererea este aprobată

Page 13: Modelling a system using Petri Nets [RO]

T2

Cerere pre-autorizare la compania de asigurări

Ini iator: Mediculț Executant: Compania de asigurări Rezultat: Internarea este pre-autorizată

Page 14: Modelling a system using Petri Nets [RO]

T3

Transferul pacientului la un alt spital Ini iator: GMCț Executant: Spitalul la care se face

transferul Rezultat: Pacientul este transferat

Page 15: Modelling a system using Petri Nets [RO]

T4

Plata transferului Ini iator: GMCț Executant: Compania de asigurări Rezultat: Transferul este plătit

Page 16: Modelling a system using Petri Nets [RO]

T5

Plasarea pacientului în sec ia țcorespunzătoare

Ini iator: Pacientulț Executant: GMC Rezultat: Pacientul este plasat

Page 17: Modelling a system using Petri Nets [RO]

T6

Crearea profilului pacientului Ini iator: GMCț Executant: Pacientul Rezultat: Profilul este creat

Page 18: Modelling a system using Petri Nets [RO]

T7

Cererea finală de aprobare a internării Ini iator: GMCț Executant: Compania de asigurări Rezultat: Cererea este aprobată

Page 19: Modelling a system using Petri Nets [RO]

T8

Cererea de plată Ini iator: GMCț Executant: Compania de asigurări Rezultat: Cererea este aprobată

Page 20: Modelling a system using Petri Nets [RO]

T9

Pacientul este facturat Ini iator: GMCț Executant: Pacientul Rezultat: Facura este emisă

Page 21: Modelling a system using Petri Nets [RO]

T10

Stabilirea unui plan de compensare a plă iiț

Ini iator: Pacientulț Executant: GMC Rezultat: Este stabilit un plan

Page 22: Modelling a system using Petri Nets [RO]

T11

Cererea de investigare a situa iei țfinanciare a pacientului

Ini iator: GMCț Executant: FairTrial Rezultat: Pacientul urmează să fie

investigat

Page 23: Modelling a system using Petri Nets [RO]

T12/T13

Plata investiga iei/Investigarea țpacientului

Ini iator: GMC, FairTrialț Executant: GMC, FairTrial Rezultat: Pacientul este investigat i ș

investiga ia este plătităț

Page 24: Modelling a system using Petri Nets [RO]

Ierarhia tranzac iilorț

Page 25: Modelling a system using Petri Nets [RO]

Modelul

Re ele Petri colorate ierarhiceț Culori:

➔ GMCP – personal GMC➔ CEP – personal FairTrial➔ tPHP – personal alte spitale➔ IP – personalul companiilor de asigurări➔ P – pacien iiț➔ PI – pacient în lucru cu propria companie de

asigurări

Page 26: Modelling a system using Petri Nets [RO]

Re ea workflowț

Pornind de la modelul ini ial, re eaua a ț țfost transformată într-o WF-re eaț

S-au efectuat i alte modificări i ș școrecturi pentru a elimina erorile i șblocajele

Page 27: Modelling a system using Petri Nets [RO]

Tranzac iile?ț

Au fost modelate ca re ele separateț

sau Au asociate grupuri de loca ii i tranzi iiț ș ț

Page 28: Modelling a system using Petri Nets [RO]

Re eaua T2ț

Page 29: Modelling a system using Petri Nets [RO]

DEMO

Page 30: Modelling a system using Petri Nets [RO]

Concluzii I

Re eaua Petri construită modelează țîntregul proces i cazurile particulare ale șacestuia

Se poate examina performan a sistemului ți se pot determina eventualele blocajeș

Corectitudinea poate fi verificată folosind proprietă ile WF-re elelorț ț

Page 31: Modelling a system using Petri Nets [RO]

Concluzii II

Re eaua poate fi u or extinsă (unele faze ț șde execu ie nu au fost tratate)ț

Un astfel de model poate fi folosit pentru instruirea personalului

Page 32: Modelling a system using Petri Nets [RO]

Întrebări?

Page 33: Modelling a system using Petri Nets [RO]

Vă mul umesc!ț