"A Feature-Complete Petri Net Semantics for WS-BPEL 2.0."

Niels Lohmann (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics