Effective control of logical discrete event systems in a trace theory setting using the reflection operator

Smedinga, R. (2005). Effective control of logical discrete event systems in a trace theory setting using the reflection operator. In 11th International Conference on Analysis and Optimization of Systems Discrete Event Systems (pp. 66–72). Springer-Verlag. https://doi.org/10.1007/bfb0033533