A Feature-Complete Petri Net Semantics for WS-BPEL 2.0 Export

@incollection{citeulike:2675190, abstract = {We present an extension of a Petri net semantics for the Web Service Business Execution Language (WS-BPEL). This extension covers the novel activities and constructs introduced by the recent WS-BPEL\ 2.0 specification. Furthermore, we simplify several aspects of the Petri net semantics to allow for more compact models suited for computer-aided verification.}, author = {Lohmann, Niels}, citeulike-article-id = {2675190}, citeulike-linkout-0 = {http://dx.doi.org/10.1007/978-3-540-79230-7_6}, doi = {10.1007/978-3-540-79230-7_6}, journal = {Web Services and Formal Methods}, keywords = {2008, bpel, formal-process, petri-nets}, pages = {77--91}, posted-at = {2008-09-19 12:30:57}, priority = {3}, title = {A Feature-Complete Petri Net Semantics for WS-BPEL 2.0}, url = {http://dx.doi.org/10.1007/978-3-540-79230-7_6}, year = {2008} }

TY - CHAP ID - citeulike:2675190 L3 - citeulike-article-id:2675190 N2 - We present an extension of a Petri net semantics for the Web Service Business Execution Language (WS-BPEL). This extension covers the novel activities and constructs introduced by the recent WS-BPEL 2.0 specification. Furthermore, we simplify several aspects of the Petri net semantics to allow for more compact models suited for computer-aided verification. JF - Web Services and Formal Methods EP - 91 TI - A Feature-Complete Petri Net Semantics for WS-BPEL 2.0 SP - 77 KW - 2008 KW - bpel KW - formal-process KW - petri-nets AU - Lohmann, Niels PY - 2008/// UR - http://dx.doi.org/10.1007/978-3-540-79230-7_6 ER -