Ambartsumyan, A. A. Modeling and synthesis of supervisory control based on Petri nets for distributed objects. I. Interaction mechanism and the basic method. (English. Russian original) Zbl 1235.93097 Autom. Remote Control 72, No. 8, 1718-1734 (2011); translation from Avtom. Telemekh. 2011, No. 8, 151-169 (2011). MSC: 93B50 93A13 93C65 93A30 PDFBibTeX XMLCite \textit{A. A. Ambartsumyan}, Autom. Remote Control 72, No. 8, 1718--1734 (2011; Zbl 1235.93097); translation from Avtom. Telemekh. 2011, No. 8, 151--169 (2011) Full Text: DOI
Kudryavtsev, V. B.; Grunskii, I. S.; Kozlovskii, V. A. Analysis and synthesis of abstract automata. (English. Russian original) Zbl 1257.68098 J. Math. Sci., New York 169, No. 4, 481-532 (2010); translation from Fundam. Prikl. Mat. 15, No. 4, 101-175 (2009). MSC: 68Q45 68-02 PDFBibTeX XMLCite \textit{V. B. Kudryavtsev} et al., J. Math. Sci., New York 169, No. 4, 481--532 (2010; Zbl 1257.68098); translation from Fundam. Prikl. Mat. 15, No. 4, 101--175 (2009) Full Text: DOI
Belyaev, V. Y. On algebraic closure and amalgamation of semigroups. (English) Zbl 0528.20047 Semigroup Forum 25, 223-267 (1982). MSC: 20M10 20M05 PDFBibTeX XMLCite \textit{V. Y. Belyaev}, Semigroup Forum 25, 223--267 (1982; Zbl 0528.20047) Full Text: DOI EuDML
Pinkava, V. On a certain type of finite automata. (Czech) Zbl 0158.00907 Kybernetika, Praha 2, 148-156 (1966). PDFBibTeX XMLCite \textit{V. Pinkava}, Kybernetika 2, 148--156 (1966; Zbl 0158.00907) Full Text: EuDML