Анализ структуры атрибутных транзиционных систем без скрытых переходов
Проведен теоретико-множественный анализ структуры атрибутных транзиционных систем без скрытых переходов. Предложены частичные операции композиции историй и трасс. Показана возможность их применения для распараллеливания построения покрытий множеств историй и трасс. Определены отношения эквивалентнос...
Saved in:
| Published in: | Кибернетика и системный анализ |
|---|---|
| Date: | 2017 |
| Main Author: | |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2017
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/144707 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Анализ структуры атрибутных транзиционных систем без скрытых переходов / В.В. Скобелев // Кибернетика и системный анализ. — 2017. — Т. 53, № 2. — С. 3–15. — Бібліогр.: 11 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862604477535617024 |
|---|---|
| author | Скобелев, В.В. |
| author_facet | Скобелев, В.В. |
| citation_txt | Анализ структуры атрибутных транзиционных систем без скрытых переходов / В.В. Скобелев // Кибернетика и системный анализ. — 2017. — Т. 53, № 2. — С. 3–15. — Бібліогр.: 11 назв. — рос. |
| collection | DSpace DC |
| container_title | Кибернетика и системный анализ |
| description | Проведен теоретико-множественный анализ структуры атрибутных транзиционных систем без скрытых переходов. Предложены частичные операции композиции историй и трасс. Показана возможность их применения для распараллеливания построения покрытий множеств историй и трасс. Определены отношения эквивалентности на множестве состояний. В терминах систем с выделенными начальными и финальными состояниями, а также систем с выделенными начальными состояниями и множествами финальных предельных множеств состояний определены классы безопасных и корректных систем. Построена алгебра таких систем.
Проведено теоретико-множинний аналіз структури атрибутних транзиційних систем без прихованих переходів. Запропоновано часткові операції композиції історій і трас. Показано можливість їхнього застосування для розпаралелювання побудови покриттів множин історій та трас. Визначено відношення еквівалентності на множині станів. У термінах систем із заданими початковими і фінальними станами, а також систем з заданими початковими станами і множинами фінальних граничних множин станів визначено класи безпечних і коректних систем. Побудовано алгебру таких систем.
The paper carries out set-theoretic analysis of the structure of attributed transition systems without hidden transitions. Partial operations of composition of histories and traces are proposed. It is shown that they can be used to parallelize the design of coverings of sets of histories and traces. Equivalence relations on the set of states are extracted. In terms of systems with distinguished initial and final states, as well as systems with distinguished initial states and sets of final limit sets of states, classes of safe and correct systems are defined. The algebra of such systems is proposed.
|
| first_indexed | 2025-11-28T07:45:25Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-144707 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 0023-1274 |
| language | Russian |
| last_indexed | 2025-11-28T07:45:25Z |
| publishDate | 2017 |
| publisher | Інститут кібернетики ім. В.М. Глушкова НАН України |
| record_format | dspace |
| spelling | Скобелев, В.В. 2019-01-02T15:45:54Z 2019-01-02T15:45:54Z 2017 Анализ структуры атрибутных транзиционных систем без скрытых переходов / В.В. Скобелев // Кибернетика и системный анализ. — 2017. — Т. 53, № 2. — С. 3–15. — Бібліогр.: 11 назв. — рос. 0023-1274 https://nasplib.isofts.kiev.ua/handle/123456789/144707 519.686.2 Проведен теоретико-множественный анализ структуры атрибутных транзиционных систем без скрытых переходов. Предложены частичные операции композиции историй и трасс. Показана возможность их применения для распараллеливания построения покрытий множеств историй и трасс. Определены отношения эквивалентности на множестве состояний. В терминах систем с выделенными начальными и финальными состояниями, а также систем с выделенными начальными состояниями и множествами финальных предельных множеств состояний определены классы безопасных и корректных систем. Построена алгебра таких систем. Проведено теоретико-множинний аналіз структури атрибутних транзиційних систем без прихованих переходів. Запропоновано часткові операції композиції історій і трас. Показано можливість їхнього застосування для розпаралелювання побудови покриттів множин історій та трас. Визначено відношення еквівалентності на множині станів. У термінах систем із заданими початковими і фінальними станами, а також систем з заданими початковими станами і множинами фінальних граничних множин станів визначено класи безпечних і коректних систем. Побудовано алгебру таких систем. The paper carries out set-theoretic analysis of the structure of attributed transition systems without hidden transitions. Partial operations of composition of histories and traces are proposed. It is shown that they can be used to parallelize the design of coverings of sets of histories and traces. Equivalence relations on the set of states are extracted. In terms of systems with distinguished initial and final states, as well as systems with distinguished initial states and sets of final limit sets of states, classes of safe and correct systems are defined. The algebra of such systems is proposed. ru Інститут кібернетики ім. В.М. Глушкова НАН України Кибернетика и системный анализ Кібернетика Анализ структуры атрибутных транзиционных систем без скрытых переходов Аналіз структури атрибутних транзиційних систем без прихованих переходів Analysis of the structure of attributed transition systems without hidden transitions Article published earlier |
| spellingShingle | Анализ структуры атрибутных транзиционных систем без скрытых переходов Скобелев, В.В. Кібернетика |
| title | Анализ структуры атрибутных транзиционных систем без скрытых переходов |
| title_alt | Аналіз структури атрибутних транзиційних систем без прихованих переходів Analysis of the structure of attributed transition systems without hidden transitions |
| title_full | Анализ структуры атрибутных транзиционных систем без скрытых переходов |
| title_fullStr | Анализ структуры атрибутных транзиционных систем без скрытых переходов |
| title_full_unstemmed | Анализ структуры атрибутных транзиционных систем без скрытых переходов |
| title_short | Анализ структуры атрибутных транзиционных систем без скрытых переходов |
| title_sort | анализ структуры атрибутных транзиционных систем без скрытых переходов |
| topic | Кібернетика |
| topic_facet | Кібернетика |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/144707 |
| work_keys_str_mv | AT skobelevvv analizstrukturyatributnyhtranzicionnyhsistembezskrytyhperehodov AT skobelevvv analízstrukturiatributnihtranzicíinihsistembezprihovanihperehodív AT skobelevvv analysisofthestructureofattributedtransitionsystemswithouthiddentransitions |