Optimal Assignment of Task Modules with Precedence for Distributed Processing by Graph Matching and State-Space Search.