Semantic Composition of Scientific Workflows Based on the Petri Nets Formalism | IEEE Conference Publication | IEEE Xplore