maisМоделирование и анализ информационных системModeling and Analysis of Information Systems1818-10152313-5417Yaroslavl State Universitymais-1037Research ArticleОригинальные статьиArticlesСоставные редукции моделей Крипке и автоморфизмыComposite reductions for Kripke modelsБеловЮ. А.Belov.Y. A.belov45@yandex.ruЯрославский государственный университет им. П.Г. ДемидоваRussian Federation2010200920101732937Copyright © Белов Ю.А., 20102010Белов Ю.А.Belov. Y.A.Данная работа распространяется под лицензией Creative Commons Attribution 4.0.This work is licensed under a Creative Commons Attribution 4.0 License.https://www.mais-journal.ru/jour/article/view/1037

Показано, что с помощью понятия фактор-модели, предложенного в [1], произвольные модели Крипке могут быть представлены в виде композиции моделей с простыми группами автоморфизмов. Доказано также, что любая конечная группа изоморфна группе автоморфизмов некоторой подходящей мо¬дели Крипке.

Kripke factor-model concept is investigated. It is shown, that every factor-model is representexl as a decomposition of several spexdal facctor-models, which groups of automorphisms are primes. Moreover, we show, that every finite group is isomorphic for a group of automorphisms of a certain Kripke model.

Модель Крипкефактор-модельавтоморфизмы модели КрипкеKripke modelfactor-modelautomorphisms of a Kripke modelReferencesКларк Э.М., мл., Грамберг О., Пелед Д. Верификация моделей программ: Model Checking М.: МЦНМО, 2002.Кларк Э.М., мл., Грамберг О., Пелед Д. Верификация моделей программ: Model Checking М.: МЦНМО, 2002.Тарасюк И.В. Эквивалентности для поведенческого анализа параллельных и распределённых вычислительных систем. Новосибирск: ГЕО, 2007.Тарасюк И.В. Эквивалентности для поведенческого анализа параллельных и распределённых вычислительных систем. Новосибирск: ГЕО, 2007.Schnoeblin Ph., Sidorova N. Bisimulation and reduction of Petri nets. Proc. 21th Int. Conf. Appl. and Theory of Petri Nets. Aarhus, Denmark, June 2000.Schnoeblin Ph., Sidorova N. Bisimulation and reduction of Petri nets. Proc. 21th Int. Conf. Appl. and Theory of Petri Nets. Aarhus, Denmark, June 2000.(ArXiv.org) ArXiv:0711.2010v4[cs.CC]23 Jan 2008(ArXiv.org) ArXiv:0711.2010v4[cs.CC]23 Jan 2008Белов Ю.А. Корректные отображения систем с переходами // Моделирование и анализ информационных систем. 2001. Том 8, №1. С. 47-49.Белов Ю.А. Корректные отображения систем с переходами // Моделирование и анализ информационных систем. 2001. Том 8, №1. С. 47-49.Белов Ю.А. Конечные группы автоморфизмов сетей Петри // Моделирование и анализ информационных систем. 2008. Том 14, №4. С. 3-9.Белов Ю.А. Конечные группы автоморфизмов сетей Петри // Моделирование и анализ информационных систем. 2008. Том 14, №4. С. 3-9.Белов Ю.А. Теорема об эпиморфизме для систем переходов // Моделирование и анализ информационных систем. 2004. Том 11, №2. С. 42-43.Белов Ю.А. Теорема об эпиморфизме для систем переходов // Моделирование и анализ информационных систем. 2004. Том 11, №2. С. 42-43.Алгебраическая теория автоматов, языков и полугрупп: Сб. статей / Под ред. М. Арбиба. М.: Статистика, 1975.Алгебраическая теория автоматов, языков и полугрупп: Сб. статей / Под ред. М. Арбиба. М.: Статистика, 1975.Емеличев В.А., Мельников О.И., Сарванов В.И., Тышкевич В.И. Лекции по теории графов. М.: Наука, 1990.Емеличев В.А., Мельников О.И., Сарванов В.И., Тышкевич В.И. Лекции по теории графов. М.: Наука, 1990.Каргаполов М.И., Мерзляков Ю.И. Основы теории групп. М.: Наука,1972.Каргаполов М.И., Мерзляков Ю.И. Основы теории групп. М.: Наука,1972.Емеличев В.А., Мельников О.И., Сарванов В.И., Тышкевич В.И. Лекции по теории графов. М.: Наука, 1990. 383 с.Емеличев В.А., Мельников О.И., Сарванов В.И., Тышкевич В.И. Лекции по теории графов. М.: Наука, 1990. 383 с.

The authors declare that there are no conflicts of interest present.