Comparing and evaluating Petri net semantics for BPEL.

Niels Lohmann Eric Verbeek Chun Ouyang Christian Stahl

Published in: Int. J. Bus. Process. Integr. Manag. (2009)

Keyphrases

petri net
colored petri nets
service composition
petri net model
manufacturing systems
discrete event systems
high level petri nets
web service composition
stochastic petri net
web services
ims ld
fuzzy petri net
service oriented
model checking
business process
logic programming
story generation
learning process