Derivation of the Cascade Parallel Composition of Timed Finite State Machines Using BALM-II

Συγγραφείς: Gromov, Maxim L., Shabaldina, Natalia V.

Πηγή: Automatic control and computer sciences. 2017. Vol. 51, № 7. P. 507-515

Θεματικοί όροι: временные автоматы, 0103 physical sciences, бинарная параллельная композиция, 0102 computer and information sciences, каскадная параллельная композиция, 01 natural sciences

Σύνδεσμος πρόσβασης: https://link.springer.com/content/pdf/10.3103/S0146411617070094.pdf
https://link.springer.com/article/10.3103/S0146411617070094
https://dblp.uni-trier.de/db/journals/accs/accs51.html#GromovS17
https://link.springer.com/article/10.3103/S0146411617070094/fulltext.html
http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000644648

On the possibilities of FSM description of Parallel composition of Timed Finite State Machines

Συγγραφείς: A. S. Tvardovskii, A. V. Laputenko

Πηγή: Труды Института системного программирования РАН, Vol 30, Iss 1, Pp 25-40 (2018)
Труды Института системного программирования РАН. 2018. Т. 30, вып. 1. С. 25-40

Θεματικοί όροι: конечные автоматы, временные ограничения, Electronic computers. Computer science, автоматы временные, автоматы с таймаутами, QA75.5-76.95, параллельная композиция, входные и выходные таймауты, конечный автомат, композиция

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://ispras.ru/proceedings/docs/2018/30/1/isp_30_2018_1_25.pdf
https://doaj.org/article/6ee4b06eb1d048aa92c96f66ed853973
https://cyberleninka.ru/article/n/o-vozmozhnostyah-avtomatnogo-opisaniya-parallelnoy-kompozitsii-vremennyh-avtomatov
https://ispranproceedings.elpub.ru/jour/article/view/451
https://ispranproceedings.elpub.ru/jour/article/download/451/235
http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000667709

Experiments on Parallel Composition of Timed Finite State Machines

Συγγραφείς: A. P. Sotnikov, N. V. Shabaldina, M. L. Gromov

Πηγή: Труды Института системного программирования РАН, Vol 29, Iss 3, Pp 233-246 (2018)

Θεματικοί όροι: временные конечные автоматы, параллельная композиция, balm-ii, Electronic computers. Computer science, QA75.5-76.95

Περιγραφή αρχείου: electronic resource

Relation: https://ispranproceedings.elpub.ru/jour/article/view/286; https://doaj.org/toc/2079-8156; https://doaj.org/toc/2220-6426

Σύνδεσμος πρόσβασης: https://doaj.org/article/3fb6f843f6f141059aaa399708bc567f

Solving parallel equations for Finite State Machines with Timeouts

Συγγραφείς: O. . Kondratyeva, N. . Yevtushenko, A Cavalli.

Πηγή: Труды Института системного программирования РАН, Vol 26, Iss 6, Pp 85-98 (2018)

Θεματικοί όροι: временной автомат, параллельная композиция, автоматное уравнение, наибольшее решение, ограничения внешней среды, Electronic computers. Computer science, QA75.5-76.95

Περιγραφή αρχείου: electronic resource

Relation: https://ispranproceedings.elpub.ru/jour/article/view/865; https://doaj.org/toc/2079-8156; https://doaj.org/toc/2220-6426

Σύνδεσμος πρόσβασης: https://doaj.org/article/b4b385dcc0b1461092032ae84c9fcc5c

К построению параллельной композиции расширенных автоматов

Πηγή: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2019. № 48. С. 83-91

Θεματικοί όροι: конечные автоматы, расширенные автоматы, параллельная композиция расширенных автоматов

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000666989

Синтез безопасных компонентов веб-сервисов на основе решения автоматных уравнений ; Deriving safe components of web services based on the solution of FSM equations

Συγγραφείς: Широкова, Екатерина Владимировна, Евтушенко, Нина Владимировна

Πηγή: Современная наука: актуальные проблемы теории и практики. Серия : Естественные и технические науки. 2023. № 8. С. 143-150

Θεματικοί όροι: веб-сервисы, безопасность веб-сервиса, конечные автоматы, параллельная композиция автоматов, автоматные уравнения, система автоматных уравнений

Περιγραφή αρχείου: application/pdf

Relation: koha:001134006; https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001134006

Διαθεσιμότητα: https://doi.org/10.37882/2223-2982.2023.08.38
https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001134006

Using balm-ii for Deriving Cascade Parallel Composition of Timed Finite State Machines ; Построение каскадной параллельной композиции временных автоматов с использованием BALM-II

Συγγραφείς: M. L. Gromov, N. V. Shabaldina, М. Л. Громов, Н. В. Шабалдина

Πηγή: Modeling and Analysis of Information Systems; Том 23, № 6 (2016); 715-728 ; Моделирование и анализ информационных систем; Том 23, № 6 (2016); 715-728 ; 2313-5417 ; 1818-1015

Θεματικοί όροι: balm-ii, cascade parallel composition, каскадная параллельная композиция

Περιγραφή αρχείου: application/pdf

Relation: https://www.mais-journal.ru/jour/article/view/409/368; Moore E. F., “Gedanken-experiments on Sequential Machines”, Automata Studies, Annals of Mathematical Studies, 34 (1956), 129–153.; Gill A., Introduction to the theory of finite-state machines, McGraw-Hill, New-York, 1962, 207 pp.; Yevtushenko N., Villa T., Brayton R., Petrenko A. and Sangiovanni-Vincentelli A., “Solution of parallel language equations for logic synthesis”, The Proceedings of the International Conference on Computer-Aided Design, 2001, 103–110.; Castagnetti G., Piccolo M., Villa T., Yevtushenko N., Mishchenko A. and Brayton R. K., Solving Parallel Equations with balm-ii, Technical Report No UCB/EECS-2012-181, Electrical Engineering and Computer Sciences University of California at Berkeley, 2012, http://www.eecs.berkeley.edu/Pubs/TechRpts/2012/EECS-2012-181.pdf.; Alur R. and Dill D. L., “A theory of timed automata”, Theoretical computer science, 126:2 (1994), 183–235.; El-Fakih K., Gromov M, Shabaldina N. and Yevtushenko N., “Distinguishing Experiments for Timed Non-Deterministic Finite State Machines”, Acta Cybernetica, 21:2 (2013), 205– 222.; Kondratyeva O., Yevtushenko N. and Cavalli A., “Parallel composition of nondeterministic finite state machines with timeouts”, Journal of Control and Computer Science of Tomsk State University, 2:27 (2014), 73–81.; Kondratyeva O., Yevtushenko N. and Cavalli A., “Solving parallel equations for Finite State Machines with Timeouts”, The Proceedings of ISP RAS, 26:6 (2014), 85–98.; http://www.uppaal.com/.; Zhigulin M., Yevtushenko N., Maag S. and Cavalli A. R., “FSM-based test derivation strategies for systems with timeouts.”, Proceedings of the international conference QSIC, 2011, 141–149.; Gromov M. and Shabaldina N., “Using balm-iifor deriving parallel composition of timed finite state machines with outputs delays and timeouts: work-in-progress”, System Informatics, 8 (2016), 33–42.; Springintveld J., Vaandrager F. and D’Argenio P. R., “Testing timed automata”, Theoretical Computer Science, 254:1–2 (March 2001), 225–257.

Διαθεσιμότητα: https://www.mais-journal.ru/jour/article/view/409
https://doi.org/10.18255/1818-1015-2016-6-715-728

ПАРАЛЛЕЛЬНЫЕ КОМПОЗИЦИИ В ЯЗЫКЕ ОПИСАНИЯ ЗАКОНОВ УПРАВЛЕНИЯ

Συγγραφείς: А. М. Фрумкин

Θεματικοί όροι: управляющая операция, параллельная совместимость операций, параллельная композиция операций, синтаксический ограничитель, процедура регулирования, синхронизация операций

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/parallelnye-kompozitsii-v-yazyke-opisaniya-zakonov-upravleniya
http://cyberleninka.ru/article_covers/16140902.png

ГЕНЕРАЦИЯ КОМПЬЮТЕРНОГО ПРЕДСТАВЛЕНИЯ ПОРИСТОЙ СТРУКТУРЫ С ПОМОЩЬЮ ТОТАЛИСТИЧЕСКОГО КЛЕТОЧНОГО АВТОМАТА

Συγγραφείς: Киреева, Анастасия

Θεματικοί όροι: ТОТАЛИСТИЧЕСКИЙ КЛЕТОЧНЫЙ АВТОМАТ, ПАРАЛЛЕЛЬНАЯ КОМПОЗИЦИЯ КЛЕТОЧНЫХ АВТОМАТОВ, АКТИВАТОР, ИНГИБИТОР, УСТОЙЧИВЫЕ СТРУКТУРЫ, ПОРИСТЫЕ СРЕДЫ

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/generatsiya-kompyuternogo-predstavleniya-poristoy-struktury-s-pomoschyu-totalisticheskogo-kletochnogo-avtomata
http://cyberleninka.ru/article_covers/15734282.png

Controllable Deadlocks in Parallel Resource-Constrained Workflows ; Управляемые тупики в параллельных ресурсно-ограниченных потоках работ

Συγγραφείς: V. A. Bashkin, N. Yu. Panfilova, Владимир Анатольевич Башкин, Надежда Юрьевна Панфилова

Συνεισφορές: РФФИ

Πηγή: Modeling and Analysis of Information Systems; Том 21, № 6 (2014); 18-30 ; Моделирование и анализ информационных систем; Том 21, № 6 (2014); 18-30 ; 2313-5417 ; 1818-1015

Θεματικοί όροι: верификация, resource, soundness, parallel composition, deadlock, verification, ресурс, бездефектность, параллельная композиция, тупик

Περιγραφή αρχείου: application/pdf

Relation: https://www.mais-journal.ru/jour/article/view/68/66; Ван дер Аалст В., ван Хей К. Управление потоками работ: модели, методы и системы. М.: Научный мир, 2007. (English transl.: van der Aalst W., van Hee K. Workflow Management: Models, Methods and Systems. MIT Press, 2002.); Башкин В. А. Сети активных ресурсов // Моделирование и анализ информационных систем. 2007. Т. 14. № 4. С. 13–19.; Башкин В. А. Формализация семантики систем с ненадежными агентами при помощи сетей активных ресурсов // Программирование. 2010. №4. С.3–15. (English transl.: Bashkin V. A. Formalization of semantics of systems with unreliable agents by means of nets of active resources // Programming and Computer Software. 2010. 36(4). P. 187–196.); Van der Aalst W. M. P. The Application of Petri Nets to Workflow Management // The Journal of Circuits, Systems and Computers. 1998. 8(1). P. 21–66.; Van der Aalst W.M.P., van Hee K.M., Hofstede A.H.M., Sidorova N., Verbeek H.M.W., Voorhoeve M., Wynn M.T. Soundness of workflow nets: classification, decidability, and analysis // Formal Aspects of Computing. 2011. 23(3). P. 333–363.; Barkaoui K., Petrucci L. Structural Analysis of Workflow Nets with Shared Resources // Proc. of Workflow Management: Net-based Concepts, Models, Techniques and Tools (WFM98). Computing Science Reports. Eindhoven University of Technology. 1998. Vol. 98/7. P. 82–95.; Barkaoui K., Ben Ayed R., Sba¨ı Z. Workflow Soundness Verification based on Structure Theory of Petri Nets // International Journal of Computing and Information Sciences. 2007. 5(1). P. 51–61.; Bashkin V. A., Lomazova I. A. Petri nets and resource bisimulation // Fundamenta Informaticae. 2003. Vol. 55. No. 2. P. 101–114.; Bashkin V. A., Lomazova I. A. Resource equivalence in workflow nets // Proc. of Concurrency, Specification and Programming (CS&P’2006). Humboldt Universitat zu Berlin, 2006. Vol. 1. P. 80–91.; Bashkin V. A., Lomazova I. A. Soundness of Workflow Nets with an Unbounded Resource is Decidable // Joint Proc. of Petri Nets and Software Engineering (PNSE’13) and Modeling and Business Environments (ModBE’13). 2013. Vol. 989 of CEUR. P. 61–75.; Chrz¸astowski-Wachtel P. Sound Markings in Structured Nets // Proc. of Concurrency, Specification and Programming (CS&P’2005). Warsaw University, 2005. P. 71–85.; Ezpeleta J., Colom J.-M., Martinez J. A Petri Net Based Deadlock Prevention Policy for Flexible Manufacturing Systems // IEEE Transactions on Robotics and Automation. 1995. 11(2). P. 173–184.; Van Hee K., Serebrenik A., Sidorova N., Voorhoeve M. Soundness of Resource-Constrained Workflow Nets // Proc. of ICATPN 2005. Lecture Notes in Computer Science. 2005. Vol. 3536. P. 250–267.; Lomazova I. A., Romanov I. V. Analyzing Compatibility of Services via Resource Conformance // Fundamenta Informaticae. 2013. Vol. 128. No. 1–2. P. 129–141.; Sidorova N., Stahl C. Soundness for resource-contrained workflow nets is decidable // IEEE Transactions on Systems, Man, and Cybernetics: Systems. 2013. 43(3). P. 724–729.

Διαθεσιμότητα: https://www.mais-journal.ru/jour/article/view/68
https://doi.org/10.18255/1818-1015-2014-6-18-30

РЕШЕНИЕ АВТОМАТНЫХ УРАВНЕНИЙ ДЛЯ ВРЕМЕННЫХ АВТОМАТОВ ОТНОСИТЕЛЬНО ПАРАЛЛЕЛЬНОЙ КОМПОЗИЦИИ

Συγγραφείς: Кондратьева, О., Евтушенко, Н., Кавалли, А.

Θεματικοί όροι: ВРЕМЕННОЙ АВТОМАТ,ПАРАЛЛЕЛЬНАЯ КОМПОЗИЦИЯ,АВТОМАТНОЕ УРАВНЕНИЕ,НАИБОЛЬШЕЕ РЕШЕНИЕ,ОГРАНИЧЕНИЯ ВНЕШНЕЙ СРЕДЫ,FINITE STATE MACHINE WITH TIMEOUTS,PARALLEL COMPOSITION,AUTOMATA EQUATIONS,THE LARGEST SOLUTION,ENVIRONMENT RESTRICTIONS

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/reshenie-avtomatnyh-uravneniy-dlya-vremennyh-avtomatov-otnositelno-parallelnoy-kompozitsii-1
http://cyberleninka.ru/article_covers/15827180.png

ПАРАЛЛЕЛЬНАЯ КОМПОЗИЦИЯ КОНЕЧНЫХ АВТОМАТОВ С ТАЙМАУТАМИ

Συγγραφείς: Кондратьева, Ольга, Евтушенко, Нина, Кавалли, Ана

Θεματικοί όροι: ДЕТЕРМИНИРОВАННЫЙ ВРЕМЕННОЙ АВТОМАТ,НЕДЕТЕРМИНИРОВАННЫЙ ВРЕМЕННОЙ АВТОМАТ,ПАРАЛЛЕЛЬНАЯ КОМПОЗИЦИЯ,FINITE STATE MACHINE WITH TIMEOUTS (TFSM),DETERMINISTIC TFSM,NONDETERMINISTIC TFSM,PARALLEL COMPOSITION

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/parallelnaya-kompozitsiya-konechnyh-avtomatov-s-taymautami
http://cyberleninka.ru/article_covers/15577989.png

КОМПОЗИЦИОННАЯ СПЕЦИФИКА ВЫСТУПЛЕНИЙ АНГЛОСАКСОНСКИХ СОВЕРЕНОВ АБСОЛЮТНОЙ ВЛАСТИ

Συγγραφείς: Анненкова, О.

Θεματικοί όροι: КОМПОЗИЦИОННАЯ СТРУКТУРА,УТВЕРЖДЕНИЕ ВСЕМОГУЩЕСТВА,УГРОЗА ВРАГА,ДАРОВАНИЕ МИЛОСТИ,ПАРАЛЛЕЛЬНАЯ КОМПОЗИЦИЯ,КОНСОЛИДАЦИЯ ВЛАСТИ

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/kompozitsionnaya-spetsifika-vystupleniy-anglosaksonskih-soverenov-absolyutnoy-vlasti
http://cyberleninka.ru/article_covers/15145300.png

РЕШЕНИЕ ПАРАЛЛЕЛЬНЫХ УРАВНЕНИЙ ДЛЯ Щ-ЯЗЫКОВ

Συγγραφείς: Бушков, Виктор, Евтушенко, Нина

Θεματικοί όροι: АВТОМАТНЫЕ УРАВНЕНИЯ,ПАРАЛЛЕЛЬНАЯ КОМПОЗИЦИЯ Щ-ЯЗЫКОВ,УРАВНЕНИЯ ДЛЯ Щ-ЯЗЫКОВ,УСЛОВИЕ БЮХИ,AUTOMATA EQUATIONS,PARALLEL COMPOSITION OF Щ-LANGUAGES,EQUATIONS OVER Щ-LANGUAGES,BЬCHI AUTOMATA

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/reshenie-parallelnyh-uravneniy-dlya-sch-yazykov
http://cyberleninka.ru/article_covers/14036241.png

К ОПИСАНИЮ ПРОГРЕССИВНЫХ РЕШЕНИЙ ПАРАЛЛЕЛЬНОГО АВТОМАТНОГО УРАВНЕНИЯ

Συγγραφείς: Бушков, Виктор

Θεματικοί όροι: КОНЕЧНЫЙ АВТОМАТ,ПАРАЛЛЕЛЬНАЯ КОМПОЗИЦИЯ,АВТОМАТНОЕ УРАВНЕНИЕ,ПРОГРЕССИВНОЕ РЕШЕНИЕ

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/k-opisaniyu-progressivnyh-resheniy-parallelnogo-avtomatnogo-uravneniya
http://cyberleninka.ru/article_covers/14036381.png

Генерация компьютерного представления пористой структуры с помощью тоталистического клеточного автомата

Πηγή: Прикладная дискретная математика.

Θεματικοί όροι: ТОТАЛИСТИЧЕСКИЙ КЛЕТОЧНЫЙ АВТОМАТ, ПАРАЛЛЕЛЬНАЯ КОМПОЗИЦИЯ КЛЕТОЧНЫХ АВТОМАТОВ, АКТИВАТОР, ИНГИБИТОР, УСТОЙЧИВЫЕ СТРУКТУРЫ, ПОРИСТЫЕ СРЕДЫ

Περιγραφή αρχείου: text/html

Σύνδεσμος πρόσβασης: http://cyberleninka.ru/article/n/generatsiya-kompyuternogo-predstavleniya-poristoy-struktury-s-pomoschyu-totalisticheskogo-kletochnogo-avtomata
http://cyberleninka.ru/article_covers/15734282.png

Параллельные композиции в языке описания законов управления

Πηγή: Auditorium.

Θεματικοί όροι: управляющая операция, параллельная совместимость операций, параллельная композиция операций, синтаксический ограничитель, процедура регулирования, синхронизация операций

Περιγραφή αρχείου: text/html

Σύνδεσμος πρόσβασης: http://cyberleninka.ru/article_covers/16140902.png
http://cyberleninka.ru/article/n/parallelnye-kompozitsii-v-yazyke-opisaniya-zakonov-upravleniya

Решение автоматных уравнений для временных автоматов относительно параллельной композиции

Πηγή: Труды Института системного программирования РАН.

Θεματικοί όροι: ВРЕМЕННОЙ АВТОМАТ, ПАРАЛЛЕЛЬНАЯ КОМПОЗИЦИЯ, АВТОМАТНОЕ УРАВНЕНИЕ, НАИБОЛЬШЕЕ РЕШЕНИЕ, ОГРАНИЧЕНИЯ ВНЕШНЕЙ СРЕДЫ

Περιγραφή αρχείου: text/html

Σύνδεσμος πρόσβασης: http://cyberleninka.ru/article_covers/15827180.png
http://cyberleninka.ru/article/n/reshenie-avtomatnyh-uravneniy-dlya-vremennyh-avtomatov-otnositelno-parallelnoy-kompozitsii-1

Параллельная композиция конечных автоматов с таймаутами

Πηγή: Вестник Томского государственного университета. Управление, вычислительная техника и информатика.

Θεματικοί όροι: ДЕТЕРМИНИРОВАННЫЙ ВРЕМЕННОЙ АВТОМАТ, НЕДЕТЕРМИНИРОВАННЫЙ ВРЕМЕННОЙ АВТОМАТ, ПАРАЛЛЕЛЬНАЯ КОМПОЗИЦИЯ, FINITE STATE MACHINE WITH TIMEOUTS (TFSM)

Περιγραφή αρχείου: text/html

Σύνδεσμος πρόσβασης: http://cyberleninka.ru/article/n/parallelnaya-kompozitsiya-konechnyh-avtomatov-s-taymautami
http://cyberleninka.ru/article_covers/15577989.png

Решение автоматных уравнений для временных автоматов относительно параллельной композиции

Συνεισφορές: Томский государственный университет Радиофизический факультет Публикации студентов и аспирантов РФФ, Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур

Πηγή: Труды Института системного программирования РАН. 2014. Т. 26, вып. 6. С. 85-98

Θεματικοί όροι: временные автоматы, автоматные уравнения, параллельная композиция

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000505207