Defining Partial Orders on Graphical Models of Concurrent Systems