Vi jämför två Petri netto semantik för Web Services Business Process Execution Language (BPEL). Jämförelsen avslöjar olika modellbeslut. Dessa beslut tillsammans med deras konsekvenser diskuteras. Vi ger också en översikt över de olika egenskaper som kan verifieras på de resulterande modellerna. En fallstudie hjälper till att utvärdera motsvarande kompilatorer som omvandlar en BPEL-process till en Petri nettomodell.
I REF jämförde och utvärderade författarna två olika Petri nettosemantik för BPEL.
Comparing and Evaluating Petri Net Semantics for BPEL
{'venue': None, 'journal': None, 'mag_field_of_study': ['Computer Science', 'Chemistry']}