Proc. 4th Int. Workshop on Discrete Event Systems (Cagliari, Italy)