A Coloured Petri Net Approach to Model and Analyse Stateful Workflows Based on WS-BPEL and WSRF.

Jos Antonio Mateo, Valentn Valero Ruiz, Hermenegilda Maci, Gregorio Daz

Browse the full SEFM paper archive.