1. Barkaoui, K., Chaoui, A., Zouari, B. (1997) Supervisory control of discrete event systems based on structure theory of Petri nets. In Proc. IEEE Int. Conf. on Systems, Man, and Cybernetics, pp.3750–3755.
2. Ben-Naoum, L., Boel, R., Bongaerts, L., De Schutter, B., Peng, Y., Valckenaers, P., Vandewalle, J., Wertz, V. (1995) Methodologies for discrete event dynamic systems: A survey. Journal A, vol.36, no.4, pp.3–14.
3. Bogdan, S., Lewis, F.L., Kovacic, Z., Mireles, J. (2006) Manufacturing Systems Control Design. London: Springer.
4. David, R., Hassane, A. (1994) Petri nets for modeling of dynamic systems-A survey. Automatica, vol.30, no.2, pp.175–202.
5. David, R. (1995) Grafcet: A powerful tool for speciffication of logical controllers. IEEE Transactions on Control Systems Technology, vol.3, no.3, pp.253–268.