Academic Journal
Асинхронное моделирование NCES-сетей
| Title: | Асинхронное моделирование NCES-сетей |
|---|---|
| Source: | Известия высших учебных заведений. Поволжский регион. Технические науки. |
| Publisher Information: | Государственное образовательное учреждение высшего образования «Пензенский государственный университет», 2009. |
| Publication Year: | 2009 |
| Subject Terms: | АСИНХРОННОЕ МОДЕЛИРОВАНИЕ, СЕТЕВЫЕ СИСТЕМЫ 'УСЛОВИЕ-СОБЫТИЕ', СЕТИ ПЕТРИ, ПРОВЕРКА МОДЕЛЕЙ, ТРАНСФОРМАЦИЯ МОДЕЛЕЙ, NET CONDITION/EVENT SYSTEMS |
| Description: | Рассматриваются вопросы асинхронного моделирования NCES-сетей с помощью формализма, основанного на сетях Петри. Приводятся правила трансформации NCES-сетей в асинхронную модель. Предложенный метод демонстрируется на примере. Асинхронное моделирование рассматривается как шаг к формальной верификации NCES-сетей с помощью метода Model Checking. |
| Document Type: | Article |
| File Description: | text/html |
| Language: | Russian |
| ISSN: | 2072-3059 |
| Access URL: | http://cyberleninka.ru/article/n/asinhronnoe-modelirovanie-nces-setey http://cyberleninka.ru/article_covers/14103293.png |
| Accession Number: | edsair.od......2806..b0d5faaa1052479b78c6e68c95a9859c |
| Database: | OpenAIRE |
| ISSN: | 20723059 |
|---|