Discrete event systems : modeling and control : proceedings of a joint workshop held in Prague, August 1992 - Balemi, S. (Silvano); Kozák, P.; Smedinga, R. (Progress in systems and control theory, 1993)