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

Contact Info:

José Antonio Mateo Cortés
E-mail: jmateo@dsi.uclm.es
Tlf: (+34) 967 599200 Ext: 2679
Fax: (+34) 967 599224
Address: Facultad de Informática - Campus Universitario s/n
P.O. Box: 02071 City: Albacete Country: Spain

Valentín Valero Ruiz
E-mail:Valentin.Valero@uclm.es
Tlf:(+34) 967 599200 Ext: 2499,2684
Fax:(+34) 967 599224
Address: Facultad de Informática - Campus Universitario s/n
P.O. Box: 02071 City: Albacete Country: Spain

Hermenegilda Macià Soler
E-mail:Hermenegilda.Macia@uclm.es
Tlf:(+34) 967 599200 Ext: 2474
Fax:(+34) 967 599224
Address: Facultad de Informática - Campus Universitario s/n
P.O. Box: 02071 City: Albacete Country: Spain

Gregorio Díaz Descalzo
E-mail:Gregorio.diaz@uclm.es
Tlf:(+34) 967 599200 Ext: 2461
Fax:(+34) 967 599224
Address: Facultad de Informática - Campus Universitario s/n
P.O. Box: 02071 City: Albacete Country: Spain

Links:

Toledo Map