Discrete Event Systems: Modeling and Control: "Proceedings Of A Joint Workshop Held In Prague, August 1992"