Parallel Sample Path Construction Techniques for Discrete Event Systems: K-Constructability and Applications

[C63]Pan, J., and Cassandras, C.G.,
Parallel Sample Path Construction Techniques for Discrete Event Systems: K-Constructability and Applications Proc. 33rd IEEE Conf. Decision and Control ,  pp. 1978-1983, December 1994.