Форум АНТИЧАТ - Моделирование программно-аппаратных ''реактивных'' систем раскрашенными сетями Петри

ANTICHAT — форум по информационной безопасности, OSINT и технологиям

ANTICHAT — русскоязычное сообщество по безопасности, OSINT и программированию. Форум ранее работал на доменах antichat.ru, antichat.com и antichat.club, и теперь снова доступен на новом адресе — forum.antichat.xyz.

Форум восстановлен и продолжает развитие: доступны архивные темы, добавляются новые обсуждения и материалы.

⚠️ Старые аккаунты восстановить невозможно — необходимо зарегистрироваться заново.

09.03.2007, 15:50

bxN5

Постоянный

Регистрация: 08.01.2006

Сообщений: 865

Провел на форуме:
3279330

Репутация: 343

Отправить сообщение для bxN5 с помощью ICQ

Литература

* Верификация Estelle-спецификаций распределенных систем посредством раскрашенных сетей Петри.// Под ред. Непомнящего В.А., Шилова Н.В. - Новосибирск,1997.
* Гома Х. UML. Проектирование систем реального времени, параллельных и распределенных приложений. Пер.с англ. - М. ДМК Пресс 2002 704 с.
* Котов В.Е. Сети Петри. - М.:Наука,1984.
* Питерсон Дж. Теория сетей Петри и моделирование систем. - М.:Мир,1984.
* Шалыто А.А. Алгоритмизация и программирование для систем логического управления и ''реактивных'' систем. - ''Автоматика и телемеханика'',2000,№1,с.3-39.
* Jensen K. Introduction to the practical use of coloured Petri nets - http://www.daimi.au.dk/~kjensen/
* Kristensen Lars M., Christensen S., Jensen K. The practitioner's guide to Coloured Petri Nets - Springer-Verlag,1998.
* Netjes M, etc. Analysis of resource-constrained processes with Coloured Petri Nets - Eindhoven University of Technology, Netherlands.
(с)rsdn.ru

Похожие темы

Тема

Автор

Раздел

Ответов

Последнее сообщение

Кто куда поступает? (или если учится, то где)

TTyck

Болталка

16.04.2009 19:32