Эквивалентное представление моделей сложных дискретных систем с помощью алгебры процессов
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...
Збережено в:
| Дата: | 2008 |
|---|---|
| Автори: | , |
| Формат: | Стаття |
| Мова: | Russian |
| Опубліковано: |
Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України
2008
|
| Назва видання: | Электронное моделирование |
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/101549 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Эквивалентное представление моделей сложных дискретных систем с помощью алгебры процессов / Б.Б. Нестеренко, М.А. Новотарский // Электронное моделирование. — 2008. — Т. 30, № 1. — С. 3-18. — Бібліогр.: 7 назв. — рос. |