Scientific Workflow Model for Provenance Analysis Based on Many-sorted High-Level Nets | IEEE Conference Publication | IEEE Xplore