Resource bisimulation in nested Petri nets

Авторы: Bashkin V. A., Lomazova I. A.
Год: 2002
Тип публикации: В Трудах Конференции
Название книги: Concurrency Specification and Programming (CS&P'2002), Proceedings
Редактор: Burkhard, H.-D.; Czaja, L.; Lindemann, G.; Skowron, A.; Starke, P.
Том: 1
Страницы: 39-52
Адрес: Berlin
Издательство: Humboldt University of Berlin
BibTex: