11th International Conference on Analysis and Optimization of Systems: Discrete Event Systems - nidottu, Englanti, 1994