Scope Equivalence of Concurrent Systems Based on Bipartite Directed Acyclic Graph