For the most recent entries see the Petri Nets Newsletter.

Keyword: tool based verification

Martens, Axel; Moser, Simon:
Diagnosing SCA Components Using Wombat. 2006.
Moser, Simon; Martens, Axel; Häbich, Marc; Mülle, Jutta:
A Hybrid Approach for Generating Compatible WS-BPEL Partner Processes. 2006.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography