%0 Journal Article %1 journals/tjs/CaoJWI13 %A Cao, Haijun %A Jin, Hai %A Wu, Song %A Ibrahim, Shadi %D 2013 %J J. Supercomput. %K dblp %N 3 %P 1215-1230 %T Petri net based Grid workflow verification and optimization. %U http://dblp.uni-trier.de/db/journals/tjs/tjs66.html#CaoJWI13 %V 66

@article{journals/tjs/CaoJWI13, added-at = {2020-05-22T00:00:00.000+0200}, author = {Cao, Haijun and Jin, Hai and Wu, Song and Ibrahim, Shadi}, biburl = {https://www.bibsonomy.org/bibtex/2d5ce4b3ece77c9a98dd8669ca220c34a/dblp}, ee = {https://doi.org/10.1007/s11227-011-0668-3}, interhash = {ae27e3e1db0ac8df18d1fdc85aae5e9b}, intrahash = {d5ce4b3ece77c9a98dd8669ca220c34a}, journal = {J. Supercomput.}, keywords = {dblp}, number = 3, pages = {1215-1230}, timestamp = {2020-05-23T12:09:04.000+0200}, title = {Petri net based Grid workflow verification and optimization.}, url = {http://dblp.uni-trier.de/db/journals/tjs/tjs66.html#CaoJWI13}, volume = 66, year = 2013 }