Partial Order Techniques for Distributed Discrete Event Systems