Эквивалентное представление моделей сложных дискретных систем с помощью алгебры процессов
The process algebra is considered which is on the parallel structure orientated description. The structures function with real working load. The basic concepts are determined for behavioral equivalence of models submitted by labeled transition systems. Definition is formed and the basic properties a...
Gespeichert in:
| Datum: | 2008 |
|---|---|
| Hauptverfasser: | , |
| Format: | Artikel |
| Sprache: | Russian |
| Veröffentlicht: |
Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України
2008
|
| Schriftenreihe: | Электронное моделирование |
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/101549 |
| 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: | Эквивалентное представление моделей сложных дискретных систем с помощью алгебры процессов / Б.Б. Нестеренко, М.А. Новотарский // Электронное моделирование. — 2008. — Т. 30, № 1. — С. 3-18. — Бібліогр.: 7 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| Zusammenfassung: | The process algebra is considered which is on the parallel structure orientated description. The structures function with real working load. The basic concepts are determined for behavioral equivalence of models submitted by labeled transition systems. Definition is formed and the basic properties are stated for strong mutual model similarity. The direct and accelerated algorithms are developed for determination of strong mutual similarity on the basis of the received properties |
|---|