Abstrakt. Det senaste årtiondet har bevittnat en ökande omvandling i design, konstruktion och gruvdrift av processer, går från ett rent kontrollflöde perspektiv till mer integrerade modeller där även data och beslut uttryckligen beaktas. Detta kräver metoder och tekniker som kan säkerställa att sådana integrerade modeller är korrekta. Annorlunda jämfört med tidigare strategier, som främst fokuserade på det lokala samspelet mellan beslut och motsvarande utgående branscher, introducerar vi ett helhetsgrepp för att verifiera att en Petri nettobaserad processmodell är sund, berikad med falldata och beslut. I synnerhet presenterar vi en effektiv, implementerad teknik som verifierar ljudnivån genom att översätta ingångsnätet till ett färgat Petrinät med avgränsade färgdomäner, som sedan kan analyseras med konventionella verktyg. Vi bevisar riktigheten och avslutningen av denna teknik. Dessutom relaterar vi vårt bidrag till den senaste tidens resultat när det gäller beslutsmässighet, vilket visar att vårt tillvägagångssätt lätt kan tillämpas där.
Massimiliano m.fl. REF föreslog ett mode för att kontrollera ljudegenskaperna hos DPN som är Petri nettobaserad processmodell.
A Holistic Approach for Soundness Verification of Decision-Aware Process Models (extended version)
{'venue': 'ER', 'journal': None, 'mag_field_of_study': ['Mathematics', 'Computer Science']}