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






Home

  

Documentation

  

PTCPN transformation for WS-BPEL and WSRF

  

Case studies

  

Tool support

  

Contact

  


Petri net

BPEL-RF

DOWNLOAD


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

Links:

Toledo Map