Om det finns misstanke om borrelia skickas ett blodprov från en patient till ett medicinskt laboratorium. Laboratoriet utför ett antal olika blodundersökningar för att testa antikroppar mot Lyme-bakterien. Det totala antalet olika undersökningar beror på de mellanliggande resultaten av blodstatusen. Kostnaderna för varje undersökning betalas av patientens sjukförsäkringsbolag. För att kontrollera och begränsa antalet utförda undersökningar tillhandahåller sjukförsäkringsbolagen ett dokument om avgiftsreglering. Om ett sjukförsäkringsbolag motsätter sig ett laboratoriums avgifter är det åklagarmyndighetens uppgift att godkänna avgifterna i enlighet med förordningsdokumentet. I detta dokument presenterar vi en fallstudie som visar ett systematiskt tillvägagångssätt för att avslöja felaktiga processer i ett medicinskt laboratorium. För det första analyseras och konsolideras akter som tagits fram av respektive laboratoriums informationssystem i en databas. Ett utdrag från denna databas översätts till en händelselogg som beskriver ett sekventiellt språk för händelser som utförs av informationssystemet. Med hjälp av förordningsdokumentet kan detta språk delas upp i två uppsättningar - uppsättningen giltiga och uppsättningen felaktiga ord. I nästa steg bygger vi en färgad Petri nettomodell som motsvarar uppsättningen giltiga ord i en mening att endast de giltiga orden är körbara i Petri nettomodellen. I ett sista steg översatte vi det färgade Petrinätet till ett PL/SQL-program. Detta program kan automatiskt avslöja alla felaktiga processer som lagras i databasen.
Bergenthum och Shick använde färgade Petri nät för att avslöja felaktiga processer i ett medicinskt laboratorium baserat på loggfiler REF.
Verification of Logs - Revealing Faulty Processes of a Medical Laboratory
{'venue': 'PNSE @ Petri Nets', 'journal': None, 'mag_field_of_study': ['Computer Science']}