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

Upload: adrian-tudor-panescu

Post on 27-Jun-2015

580 views

Category:

Technology


2 download

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

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!ț