Semantic composition of scientific workflows based on the Petri nets formalism - T. Gubala; D. Harezlak; M. T. Bubak; M. Malawski (2nd IEEE International Conference on e-Science and Grid Computing, 2006)