Analysis Of Commutativity With State-Chart Graph Representation Of Concurrent Programs.