A New Approach to the Analysis of Discrete Event Dynamic Systems

[A1]Ho, Y.C., and Cassandras, C.G.,
A New Approach to the Analysis of Discrete Event Dynamic Systems Automatica   Vol. 19, 2, pp. 149-167, 1983.