Nested Petri nets - a Formalism for Specification and Verification of Multi-Agent Distributed Systems

Авторы: Lomazova I. A.
Год: 2000
Тип публикации: Статья
Журнал: Fundamenta Informaticae
Том: 43
Номер: 1-4
Страницы: 195-214
BibTex: