Modelling a system using Petri Nets [RO]
-
Upload
adrian-tudor-panescu -
Category
Technology
-
view
579 -
download
2
description
Transcript of Modelling a system using Petri Nets [RO]
![Page 1: Modelling a system using Petri Nets [RO]](https://reader034.fdocuments.in/reader034/viewer/2022042715/558e48bd1a28ab61518b469b/html5/thumbnails/1.jpg)
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]](https://reader034.fdocuments.in/reader034/viewer/2022042715/558e48bd1a28ab61518b469b/html5/thumbnails/2.jpg)
„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]](https://reader034.fdocuments.in/reader034/viewer/2022042715/558e48bd1a28ab61518b469b/html5/thumbnails/3.jpg)
~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]](https://reader034.fdocuments.in/reader034/viewer/2022042715/558e48bd1a28ab61518b469b/html5/thumbnails/4.jpg)
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]](https://reader034.fdocuments.in/reader034/viewer/2022042715/558e48bd1a28ab61518b469b/html5/thumbnails/5.jpg)
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]](https://reader034.fdocuments.in/reader034/viewer/2022042715/558e48bd1a28ab61518b469b/html5/thumbnails/6.jpg)
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]](https://reader034.fdocuments.in/reader034/viewer/2022042715/558e48bd1a28ab61518b469b/html5/thumbnails/7.jpg)
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]](https://reader034.fdocuments.in/reader034/viewer/2022042715/558e48bd1a28ab61518b469b/html5/thumbnails/8.jpg)
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]](https://reader034.fdocuments.in/reader034/viewer/2022042715/558e48bd1a28ab61518b469b/html5/thumbnails/9.jpg)
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]](https://reader034.fdocuments.in/reader034/viewer/2022042715/558e48bd1a28ab61518b469b/html5/thumbnails/10.jpg)
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]](https://reader034.fdocuments.in/reader034/viewer/2022042715/558e48bd1a28ab61518b469b/html5/thumbnails/11.jpg)
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]](https://reader034.fdocuments.in/reader034/viewer/2022042715/558e48bd1a28ab61518b469b/html5/thumbnails/12.jpg)
T1
Cererea de internare Ini iator: Mediculț Executant: GMC Rezultat: Cererea este aprobată
![Page 13: Modelling a system using Petri Nets [RO]](https://reader034.fdocuments.in/reader034/viewer/2022042715/558e48bd1a28ab61518b469b/html5/thumbnails/13.jpg)
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]](https://reader034.fdocuments.in/reader034/viewer/2022042715/558e48bd1a28ab61518b469b/html5/thumbnails/14.jpg)
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]](https://reader034.fdocuments.in/reader034/viewer/2022042715/558e48bd1a28ab61518b469b/html5/thumbnails/15.jpg)
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]](https://reader034.fdocuments.in/reader034/viewer/2022042715/558e48bd1a28ab61518b469b/html5/thumbnails/16.jpg)
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]](https://reader034.fdocuments.in/reader034/viewer/2022042715/558e48bd1a28ab61518b469b/html5/thumbnails/17.jpg)
T6
Crearea profilului pacientului Ini iator: GMCț Executant: Pacientul Rezultat: Profilul este creat
![Page 18: Modelling a system using Petri Nets [RO]](https://reader034.fdocuments.in/reader034/viewer/2022042715/558e48bd1a28ab61518b469b/html5/thumbnails/18.jpg)
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]](https://reader034.fdocuments.in/reader034/viewer/2022042715/558e48bd1a28ab61518b469b/html5/thumbnails/19.jpg)
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]](https://reader034.fdocuments.in/reader034/viewer/2022042715/558e48bd1a28ab61518b469b/html5/thumbnails/20.jpg)
T9
Pacientul este facturat Ini iator: GMCț Executant: Pacientul Rezultat: Facura este emisă
![Page 21: Modelling a system using Petri Nets [RO]](https://reader034.fdocuments.in/reader034/viewer/2022042715/558e48bd1a28ab61518b469b/html5/thumbnails/21.jpg)
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]](https://reader034.fdocuments.in/reader034/viewer/2022042715/558e48bd1a28ab61518b469b/html5/thumbnails/22.jpg)
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]](https://reader034.fdocuments.in/reader034/viewer/2022042715/558e48bd1a28ab61518b469b/html5/thumbnails/23.jpg)
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]](https://reader034.fdocuments.in/reader034/viewer/2022042715/558e48bd1a28ab61518b469b/html5/thumbnails/24.jpg)
Ierarhia tranzac iilorț
![Page 25: Modelling a system using Petri Nets [RO]](https://reader034.fdocuments.in/reader034/viewer/2022042715/558e48bd1a28ab61518b469b/html5/thumbnails/25.jpg)
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]](https://reader034.fdocuments.in/reader034/viewer/2022042715/558e48bd1a28ab61518b469b/html5/thumbnails/26.jpg)
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]](https://reader034.fdocuments.in/reader034/viewer/2022042715/558e48bd1a28ab61518b469b/html5/thumbnails/27.jpg)
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]](https://reader034.fdocuments.in/reader034/viewer/2022042715/558e48bd1a28ab61518b469b/html5/thumbnails/28.jpg)
Re eaua T2ț
![Page 29: Modelling a system using Petri Nets [RO]](https://reader034.fdocuments.in/reader034/viewer/2022042715/558e48bd1a28ab61518b469b/html5/thumbnails/29.jpg)
DEMO
![Page 30: Modelling a system using Petri Nets [RO]](https://reader034.fdocuments.in/reader034/viewer/2022042715/558e48bd1a28ab61518b469b/html5/thumbnails/30.jpg)
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]](https://reader034.fdocuments.in/reader034/viewer/2022042715/558e48bd1a28ab61518b469b/html5/thumbnails/31.jpg)
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]](https://reader034.fdocuments.in/reader034/viewer/2022042715/558e48bd1a28ab61518b469b/html5/thumbnails/32.jpg)
Întrebări?
![Page 33: Modelling a system using Petri Nets [RO]](https://reader034.fdocuments.in/reader034/viewer/2022042715/558e48bd1a28ab61518b469b/html5/thumbnails/33.jpg)
Vă mul umesc!ț