1. S. Balemi. Control of Discrete Event Processes: Theory and Application. Ph. D. Thesis, Swiss Federal Institute of Technology, Zürich, Switzerland, 1992.
2. J. Billington. Extensions to Coloured Petri Nets. In: Proceedings of the 3:rd International Workshop on Petri Nets and Performance Models, Kyoto, Japan, 1989.
3. A. Giua. Petri Nets as Discrete Event Models for Supervisory Control. Ph. D. Thesis, Rensselaer Polytechnic Institute, Troy, New York, USA, 1992.
4. D. Harel. Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming, Vol. 8, pp231–274, 1987.
5. A. Hellgren. Some Aspects of Supervisory Control Theory: Modelling and Implementation. Lie thesis, in preparation.