使用云优化大型生物信息学工作流的增强Petri网成本模型| IEEE会议出版物| IEEE Xplore