Symbolic computation for discrete event systems

The application of symbolic computation to 2D domain theory of discrete event systems (DES) is presented. A symbolic computation software named DESMATH for manipulating /spl gamma//spl delta/ expressions and matrices, for solving dioid equations, and for DES modelling and analysis is implemented on the basis of the mathematical system MATHEMATICA. The basic functions of DESMATH are explained and their usage for solving DES problem is demonstrated by an example.