Some decidability results for nested Petri nets

Авторы: Lomazova I., Schnoebelen Ph.
Год: 2000
Тип публикации: В Трудах Конференции
Название книги: Proc. Andrei Ershov 3rd Int. Conf. Perspectives of System Informatics (PSI'99), Novosibirsk, Russia, Jul. 1999, volume 1755 of Lecture Notes in Computer Science
Страницы: 207-219
BibTex: