Исследование однотипных структурных элементов CN-сети в процессе компонентного моделирования и анализа сложной системы с параллелизмом
Розглянуто процес моделювання реактивних розподілених систем компонентною мережею Петрі (CN-мережею). Показано механізм конструювання складених компонент (компонент-місць і компонент-переходів) CN-мережі, проведено аналіз CN-мережі на прикладі моделювання схеми руху залізничного транспорту залізничн...
Gespeichert in:
| Veröffentlicht in: | Кибернетика и системный анализ |
|---|---|
| Datum: | 2012 |
| Hauptverfasser: | , |
| Format: | Artikel |
| Sprache: | Russisch |
| Veröffentlicht: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2012
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/84156 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | Исследование однотипных структурных элементов CN-сети в процессе компонентного моделирования и анализа сложной системы с параллелизмом / Е.А. Лукьянова, А.В. Дереза // Кибернетика и системный анализ. — 2012. — Т. 48, № 6. — С. 20-29. — Бібліогр.: 20 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| Zusammenfassung: | Розглянуто процес моделювання реактивних розподілених систем компонентною мережею Петрі (CN-мережею). Показано механізм конструювання складених компонент (компонент-місць і компонент-переходів) CN-мережі, проведено аналіз CN-мережі на прикладі моделювання схеми руху залізничного транспорту залізничного вузла. Встановлено зв’язок матриць інцидентності однотипних складених компонент, що дозволило обгрунтувати можливість дослідження лише одного найбільш простого представника з однотипних складених компонент CN-мережі для верифікації моделі системи.
The process of modeling reactive distributed systems by a component Petri net is considered. The mechanism of constructing of composite components (places and transitions) of a CN-net is shown. A CN net is analyzed by modeling, as an example, a railroad traffic pattern at a railroad junction. The relationship of incidence matrices of like composite components of a CN-net is established, which makes it possible to justify the possibility of studying only one simplest representative components to verify the model of the system.
|
|---|---|
| ISSN: | 0023-1274 |