Dataflow orchestration of image processing algorithms using high-level petri nets | IEEE Conference Publication | IEEE Xplore