Литература

* Верификация 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