Modelowanie procesów mnogich/masowych PRM przy wykorzystaniu czasowej sieci Petriego

• Autorzy: Michał Horodelski , Piotr Filipkowski

Warianty tytułu

Application of the Timed Petri Net for Modeling Mass/ Multiple Emergency Medical Services Processes

• Języki publikacji: PL

Abstrakty

Sieci Petriego są matematycznym narzędziem, zaproponowanym przez K. A. Petriego w 1964 r., służącym do modelowania i analizy własności systemów, w których naturalnym zjawiskiem jest występowanie akcji współbieżnych3. Intuicyjny graficzny język modelowania sieci, wsparty formalnymi metodami badania ich własności, pozwala na opis struktury systemu, jego dynamiki oraz weryfikację jego specyfikacji. Od czasu zapoczątkowania teorii sieci Petriego powstały także różne rozszerzenia podstawowej wersji sieci. Rozważany model czasowej sieci Petriego z przedziałami dostępności dla łuków oraz wiekiem dla żetonów (ang. contextual Timed Petri Net, c-TdPN) jest rozszerzeniem zwykłego modelu sieci o aspekt czasu ciągłego4 i kontekst wykonywanych akcji(fragment tekstu)

EN

In the article the authors present modeling of information processes in the Emergency Medical Services system using the timed Petri nets. The desirability of using such modeling to describe the decision-making process in the example information system was presented and examined in the context of the state explosions problem. (original abstract)

Słowa kluczowe

PL

Usługi medyczne; Sieć Petriego; Ratownictwo medyczne; Analiza systemowa

EN

Medical services; Petri net; Emergency medical services; Systemic analysis

• Czasopismo: Roczniki Kolegium Analiz Ekonomicznych / Szkoła Główna Handlowa
• Rocznik: 2018
• Numer: nr 52
• Strony: 45--58

Twórcy

autor

Michał Horodelski

• Katolicki Uniwersytet Lubelski Jana Pawła II w Lublinie, Polska

autor

Piotr Filipkowski

• Szkoła Główna Handlowa w Warszawie

Bibliografia

• Filipkowski P., Janicki M., Oleszczuk D., Agent Technologies in LabTSI™ - use in medical rescue, "Polski Przegląd Medycyny i Psychologii Lotniczej" 2012, nr 3 (18), s. 37-48.
• Janicki A., Filipkowski P., Horodelski M., Intelligent medical system for paramedics, "The Polish Journal of Aviation Medicine and Psychology", 2014, vol. 20 (1), s. 5-16.
• Ładny J. R., Zalecenia Konsultanta Krajowego w dziedzinie medycyny ratunkowej dotyczące procedur postępowania na wypadek wystąpienia zdarzenia mnogiego/masowego, Warszawa 2015.
• Montanari U., Rossi F., Contextual nets, "Acta Informatica" 1995, vol. 32, iss. 6, s. 545- 596.
• Petri C. A., Communication with automata, GAFB, Nowy Jork 1966.
• Rozporządzenie Ministra Zdrowia z dnia 10 stycznia 2014 r. w sprawie ramowych procedur przyjmowania wezwań przez dyspozytora medycznego i dysponowania zespołami ratownictwa medycznego, Dz.U. 2014, poz. 66.
• Rozporządzenie Ministra Zdrowia z dnia 15 grudnia 2014 r. w sprawie wojewódzkiego planu działania systemu Państwowe Ratownictwo Medyczne oraz kryteriów kalkulacji kosztów działalności zespołów ratownictwa medycznego, Dz.U. 2014, poz. 1902.
• Ustawa z dnia 8 września 2006 r. o Państwowym Ratownictwie Medycznym, tekst jedn.: Dz.U. 2017, poz. 2195.
• Walter B., Timed Petri-Nets for Modelling and Analyzing Protocols with Real-Time Characteristics, "Protocol Specification, Testing, and Verification III", Elsevier Science Publ. B. V., North Holland 1983, s. 149-159.
• Wrycza S., Marcinkowski B., Wyrzykowski K., Język UML 2.0 w modelowaniu systemów informatycznych, Wydawnictwo Helion, Gliwice 2006.
• Gałązkowski R., Procedury wspomagające podjęcie decyzji przez dyspozytora medycznego w zakresie przyjęcia zgłoszenia, kwalifikacji zgłoszenia oraz dysponowania zespołami ratownictwa medycznego do różnych stanów nagłego zagrożenia zdrowotnego, Warszawa, 10 grudnia 2013 r., http://ratunek24.pl/media/upload/Procedury%20dla%20 dyspozytor%C3%B3 w%20medycznych.pdf (data odczytu: 3.11.2017).