• A Petri Net-based Mode...
• Agent-Based Web Servic...
• CSP-Based Verification...
• A colored Petri net-ba...
• Hamadi - A Petri Net-b...
• Dynamic web service co...
• Automatic Web Service ...