atomic decomposition of precedence graphs in distributed tasks scheduling | Synapse