Composite reductions for Kripke models
Abstract
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.
About the Author
Y. A. Belov.
Ярославский государственный университет им. П.Г. Демидова
Russian Federation
Russian Federation
References
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 с.
Review
For citations:
Belov. Y.A. Composite reductions for Kripke models. Modeling and Analysis of Information Systems. 2010;17(3):29-37. (In Russ.)
Views:
444
Email this article 