Abstract-Petri net är en kraftfull formalism för modellering, analys och design av diskreta händelsesystem. Med god förmåga att representera synkronisering och samstämmighet används de inom olika användningsområden. I detta dokument presenteras en modelleringsmetod för det primära hälso- och sjukvårdssystemet baserad på Petrinät. En sjukdom hos en patient diagnostiseras och botas genom att följa en sekvens av behandlingar och vård som tillhör ett medicinskt protokoll. Vi visar att för nästan alla sjukdomar, varje medicinskt protokoll kan modelleras av en statlig maskin Petri nätet. När protokollet tillämpas kan olika resurser behövas. Här anser vi att endast resurser som är konservativa och de kan modelleras av platser där antalet polletter på plats säger antalet tillgängliga instanser av denna resurs. Genom att tillämpa de tillgängliga resultaten av Petrinäten kan många egenskaper hos hälso- och sjukvårdssystemet studeras. I synnerhet kan prognosen för olika index uppskattas med hjälp av den formella modellen.
En studie gjord av Mahulea et al. REF visar att synkronisering och samstämmighet gör Petri nät kraftfulla verktyg för modellering och analys av hälso- och sjukvårdssystem.
Petri nets with resources for modeling primary healthcare systems
{'venue': '2014 18th International Conference on System Theory, Control and Computing (ICSTCC)', 'journal': '2014 18th International Conference on System Theory, Control and Computing (ICSTCC)', 'mag_field_of_study': ['Computer Science']}