For the most recent entries see the Petri Nets Newsletter.

A Petri net semantic for BPEL4WS validation and application.

Schmidt, K.; Stahl, C.

In: Ekkart Kindler (Ed.): Proceedings of the 11th Workshop on Algorithms and Tools for Petri Nets (AWPN 04), pages 1-6. Bericht tr-ri-04-251, Universität Paderborn, September 2004.


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

Back to the Petri Nets Bibliography