Составные редукции моделей Крипке и автоморфизмы

Полный текст:


Аннотация

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

Об авторе

Ю. А. Белов
Ярославский государственный университет им. П.Г. Демидова
Россия


Список литературы

1. Кларк Э.М., мл., Грамберг О., Пелед Д. Верификация моделей программ: Model Checking М.: МЦНМО, 2002.

2. Тарасюк И.В. Эквивалентности для поведенческого анализа параллельных и распределённых вычислительных систем. Новосибирск: ГЕО, 2007.

3. Schnoeblin Ph., Sidorova N. Bisimulation and reduction of Petri nets. Proc. 21th Int. Conf. Appl. and Theory of Petri Nets. Aarhus, Denmark, June 2000.

4. (ArXiv.org) ArXiv:0711.2010v4[cs.CC]23 Jan 2008

5. Белов Ю.А. Корректные отображения систем с переходами // Моделирование и анализ информационных систем. 2001. Том 8, №1. С. 47-49.

6. Белов Ю.А. Конечные группы автоморфизмов сетей Петри // Моделирование и анализ информационных систем. 2008. Том 14, №4. С. 3-9.

7. Белов Ю.А. Теорема об эпиморфизме для систем переходов // Моделирование и анализ информационных систем. 2004. Том 11, №2. С. 42-43.

8. Алгебраическая теория автоматов, языков и полугрупп: Сб. статей / Под ред. М. Арбиба. М.: Статистика, 1975.

9. Емеличев В.А., Мельников О.И., Сарванов В.И., Тышкевич В.И. Лекции по теории графов. М.: Наука, 1990.

10. Каргаполов М.И., Мерзляков Ю.И. Основы теории групп. М.: Наука,1972.

11. Емеличев В.А., Мельников О.И., Сарванов В.И., Тышкевич В.И. Лекции по теории графов. М.: Наука, 1990. 383 с.


Дополнительные файлы

Для цитирования: Белов Ю.А. Составные редукции моделей Крипке и автоморфизмы. Моделирование и анализ информационных систем. 2010;17(3):29-37.

For citation: Belov. Y.A. Composite reductions for Kripke models. Modeling and Analysis of Information Systems. 2010;17(3):29-37. (In Russ.)

Просмотров: 6

Обратные ссылки

  • Обратные ссылки не определены.


Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 1818-1015 (Print)
ISSN 2313-5417 (Online)