Reduction of colored Petri nets based on resource bisimulation

Авторы: Bashkin V. A., Lomazova I. A.
Год: 2000
Тип публикации: Статья
Журнал: Joint NCC & IIS Bulletin, Computer Science
Номер: 13
Страницы: 12-17
BibTex: