Nested Petri nets: multi level and recursive systems

Авторы: Lomazova I. A.
Год: 2000
Тип публикации: В Трудах Конференции
Название книги: Concurrency Specification and Programming (CS&P'2000), Proceedings
Том: 1
Страницы: 117-128
Адрес: Berlin
Издательство: Humboldt University of Berlin
BibTex: