{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,15]],"date-time":"2026-03-15T23:20:08Z","timestamp":1773616808170,"version":"3.50.1"},"reference-count":24,"publisher":"Pleiades Publishing Ltd","issue":"4","license":[{"start":{"date-parts":[[2016,4,1]],"date-time":"2016-04-01T00:00:00Z","timestamp":1459468800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2016,4,1]],"date-time":"2016-04-01T00:00:00Z","timestamp":1459468800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Autom Remote Control"],"published-print":{"date-parts":[[2016,4]]},"DOI":"10.1134\/s0005117916040111","type":"journal-article","created":{"date-parts":[[2016,5,6]],"date-time":"2016-05-06T19:15:58Z","timestamp":1462562158000},"page":"672-686","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Generating conditions for preserving the properties of controlled discrete event systems"],"prefix":"10.1134","volume":"77","author":[{"given":"N. V.","family":"Nagul","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"137","published-online":{"date-parts":[[2016,5,8]]},"reference":[{"key":"431_CR1","first-page":"2575","volume-title":"Proc. XII Russian Meeting on Control Problems (VSPU-2014), Moscow, June 16\u201319","author":"N.V. Nagul","year":"2014","unstructured":"Nagul, N.V., Logic-Algebraic Equations in Supervisory Control for Discrete Event Systems, Proc. XII Russian Meeting on Control Problems (VSPU-2014), Moscow, June 16\u201319, 2014, pp. 2575\u20132586."},{"issue":"4","key":"431_CR2","first-page":"156","volume":"24","author":"N.V. Nagul","year":"2012","unstructured":"Nagul, N.V., The Logic-Algebraic Equations Method in System Dynamics, Algebra Analiz, 2012, vol. 24, no. 4, pp. 156\u2013181.","journal-title":"Algebra Analiz"},{"issue":"4","key":"431_CR3","doi-asserted-by":"publisher","first-page":"645","DOI":"10.1090\/S1061-0022-2013-01258-1","volume":"24","author":"N.V. Nagul","year":"2013","unstructured":"Nagul, N.V., The Logic-Algebraic Equations Method in System Dynamics, St. Petersburg Math. J., 2013, vol. 24, no. 4, pp. 645\u2013662.","journal-title":"St. Petersburg Math. J."},{"issue":"1\u20132","key":"431_CR4","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/s10626-015-0210-5","volume":"25","author":"A. Ramirez-Treviso","year":"2015","unstructured":"Ramirez-Treviso, A., Silva, M., and Lafortune, S., Special Issue on Recent Advances in Control of Discrete Event Systems, Discret. Event Dynam. Syst., 2015, vol. 25, no. 1\u20132, pp. 3\u20135.","journal-title":"Discret. Event Dynam. Syst."},{"key":"431_CR5","volume-title":"Stability of Dynamical Systems: Continuous, Discontinuous, and Discrete Systems","author":"A.N. Michel","year":"2008","unstructured":"Michel, A.N., Hou, L., and Liu, D., Stability of Dynamical Systems: Continuous, Discontinuous, and Discrete Systems, New York: Springer, 2008."},{"issue":"1","key":"431_CR6","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1137\/0325013","volume":"25","author":"P.J. Ramadge","year":"1987","unstructured":"Ramadge, P.J. and Wonham, W.M., Supervisory Control of Class of Discrete Event Processes, SIAM J. Control Optim., 1987, no. 25(1), pp. 206\u2013230.","journal-title":"SIAM J. Control Optim."},{"key":"431_CR7","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1002\/rnc.1192","volume":"18","author":"B.J. Moore","year":"2008","unstructured":"Moore, B.J. and Passino, K.M., Decentralized Redistribution for Cooperative Patrol, Int. J. Robust Nonlin. Control, 2008, vol. 18, pp. 165\u2013195.","journal-title":"Int. J. Robust Nonlin. Control"},{"issue":"8","key":"431_CR8","doi-asserted-by":"publisher","first-page":"1406","DOI":"10.1134\/S000511790908013X","volume":"70","author":"A.A. Ambartsumyan","year":"2009","unstructured":"Ambartsumyan, A.A., Supervisory Control of the Structured Dynamic Discrete-Event Systems, Autom. Remote Control, 2009, vol. 70, no. 8, pp. 1406\u20131424.","journal-title":"Autom. Remote Control"},{"issue":"9","key":"431_CR9","doi-asserted-by":"publisher","first-page":"1951","DOI":"10.1134\/S0005117911090165","volume":"72","author":"A.A. Ambartsumyan","year":"2011","unstructured":"Ambartsumyan, A.A., Modeling and Synthesis for Supervisory Control on Petri Nets For Distributed Objects. II. A Supervisor Synthesis Method for a Set of General form Sequences, Autom. Remote Control, 2011, vol. 72, no. 9, pp. 1951\u20131966.","journal-title":"Autom. Remote Control"},{"key":"431_CR10","first-page":"73","volume":"1","author":"A.I. Potekhin","year":"2014","unstructured":"Potekhin, A.I., Branishtov, S.A., and Kuznetsov, S.K., Railway Network Discrete-Event Models, Probl. Upravlen., 2014, no. 1, pp. 73\u201381.","journal-title":"Probl. Upravlen."},{"issue":"9","key":"431_CR11","first-page":"1547","volume":"10","author":"V.M. Matrosov","year":"1974","unstructured":"Matrosov, V.M., Comparison Method in System\u2019s Dynamics. I, II, Differ. Uravn., 1974, vol. 10, no. 9, pp. 1547\u20131559; 1975, vol. 11, no. 3, pp. 403\u2013417.","journal-title":"Differ. Uravn."},{"issue":"9","key":"431_CR12","first-page":"1562","volume":"17","author":"S.N. Vassilyev","year":"1981","unstructured":"Vassilyev, S.N., Comparison Method in System Analysis. I\u2013IV, Differ. Uranven., 1981, vol. 17, no. 9, pp. 1562\u20131573; vol. 17, no. 11, pp. 1545\u20131554; 1982, vol. 18, no. 2, pp. 197\u2013205; vol. 18, no. 6, pp. 938\u2013947.","journal-title":"Differ. Uranven."},{"issue":"2","key":"431_CR13","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1016\/j.na.2005.06.047","volume":"64","author":"S.N. Vassilyev","year":"2006","unstructured":"Vassilyev, S.N., The Reduction Method. I, II, Nonlin. Anal. Theory, Methods Appl., 2006, vol. 64, no. 2, pp. 242\u2013252; 2006, vol. 65, no. 5, pp. 939\u2013955.","journal-title":"Nonlin. Anal. Theory, Methods Appl."},{"key":"431_CR14","doi-asserted-by":"publisher","DOI":"10.1090\/pspum\/025\/0406772","volume-title":"Applications of Many-Sorted Interpolation Theorems","author":"S. Feferman","year":"1974","unstructured":"Feferman, S., Applications of Many-Sorted Interpolation Theorems, Proc. Tarski Sympos., Providence: Am. Math. Soc., 1974, pp. 205\u2013224."},{"issue":"4","key":"431_CR15","doi-asserted-by":"publisher","first-page":"447","DOI":"10.2307\/420966","volume":"6","author":"M. Otto","year":"2000","unstructured":"Otto, M., An Interpolation Theorem, Bull. Symbolic Logic, 2000, vol. 6, no. 4, pp. 447\u2013462.","journal-title":"Bull. Symbolic Logic"},{"key":"431_CR16","volume-title":"Theory of Sets","author":"N. Bourbaki","year":"1968","unstructured":"Bourbaki, N., Theory of Sets, Paris: Hermann, 1968. Translated under the title Teoriya mnozhestv, Moscow: Mir, 1965."},{"issue":"11","key":"431_CR17","first-page":"248","volume":"3","author":"S.N. Vassilyev","year":"2005","unstructured":"Vassilyev, S.N., Representability Method in the Logical\u2013Algebraic Approach to Qualitative Analysis of Dynamical Systems, Optimiz., Upravlen., Intellekt, 2005, no. 3 (11), pp. 248\u2013254.","journal-title":"Optimiz., Upravlen., Intellekt"},{"issue":"1","key":"431_CR18","first-page":"185","volume":"20","author":"N.V. Nagul","year":"2014","unstructured":"Nagul, N.V., Classes of Properties Preserved under Morphisms of Generalizations of Many-Sorted Algebraic Systems in Studying Dynamics, Tr. Inst. Mat. Mekh. UrO RAN, 2014, vol. 20, no. 1, pp. 185\u2013200.","journal-title":"Tr. Inst. Mat. Mekh. UrO RAN"},{"key":"431_CR19","volume-title":"Osnovy teoreticheskoi mekhaniki","author":"V.F. Zhuravlev","year":"2008","unstructured":"Zhuravlev, V.F., Osnovy teoreticheskoi mekhaniki (Fundamentals of Theoretical Mechanics), Moscow: Fizmatlit, 2008."},{"issue":"11","key":"431_CR20","doi-asserted-by":"publisher","first-page":"1505","DOI":"10.1134\/S0012266107110043","volume":"43","author":"A.V. Kavinov","year":"2007","unstructured":"Kavinov, A.V. and Krishchenko, A.P., Stability of Solutions in Different Variables, Differ. Equat., 2007, vol. 43, no. 11, pp. 1505\u20131509.","journal-title":"Differ. Equat."},{"issue":"28","key":"431_CR21","first-page":"150","volume":"4","author":"N.V. Nagul","year":"2010","unstructured":"Nagul, N.V., Preservation of Properties of Schedules in a Model of Public Transport, Sovrem. Tekhnol. Sistem. Anal. Modelir., 2010, no. 4(28), pp. 150\u2013159.","journal-title":"Sovrem. Tekhnol. Sistem. Anal. Modelir."},{"key":"431_CR22","doi-asserted-by":"publisher","first-page":"143","DOI":"10.2140\/pjm.1959.9.143","volume":"9","author":"R.C. Lyndon","year":"1959","unstructured":"Lyndon, R.C., Properties Preserved under Homomorphism, Pacific J. Math., 1959, vol. 9, pp. 143\u2013154.","journal-title":"Pacific J. Math."},{"key":"431_CR23","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1023\/B:DISC.0000005009.40749.b6","volume":"14","author":"R. Su","year":"2004","unstructured":"Su, R. and Wonham, W.M., Supervisor Reduction for Discrete-Event Systems, Discret. Event Dynam. Syst. Theory Appl., 2004, vol. 14, pp. 31\u201353.","journal-title":"Discret. Event Dynam. Syst. Theory Appl."},{"key":"431_CR24","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1023\/A:1008226632478","volume":"7","author":"C. Changwei","year":"1997","unstructured":"Changwei, C., Lin, F., and Lin, Z., Why Event Observation: Observability Revisited, Discret. Event Dynam. Syst. Theory Appl., 1997, vol. 7, pp. 127\u2013149.","journal-title":"Discret. Event Dynam. Syst. Theory Appl."}],"container-title":["Automation and Remote Control"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0005117916040111.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1134\/S0005117916040111","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1134\/S0005117916040111","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0005117916040111.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,15]],"date-time":"2026-03-15T22:26:20Z","timestamp":1773613580000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1134\/S0005117916040111"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,4]]},"references-count":24,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2016,4]]}},"alternative-id":["431"],"URL":"https:\/\/doi.org\/10.1134\/s0005117916040111","relation":{},"ISSN":["0005-1179","1608-3032"],"issn-type":[{"value":"0005-1179","type":"print"},{"value":"1608-3032","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,4]]},"assertion":[{"value":"10 June 2015","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"8 May 2016","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}