For the most recent entries see the Petri Nets Newsletter.

Keyword: process verification and validation

Lohmann, Niels; Massuthe, Peter; Stahl, Christian; Weinberg, Daniela:
Analyzing Interacting BPEL Processes. 2006.
Hinz, Sebastian; Schmidt, Karsten; Stahl, Christian:
Transforming BPEL to Petri Nets. 2005.

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

Back to the Petri Nets Bibliography