Translation of Nested Petri Nets into Classical Petri Nets for Unfoldings Verification

Nested Petri nets (NP-nets) have proved to be one of the convenient formalisms for distributed multi-agent systems modeling and analysis. It allows representing multi-agent systems structure in a natural way, since tokens in the system net are Petri nets themselves, and have their own behavior. Mult...

Full description

Bibliographic Details

Published in:	Труды Института системного программирования РАН
Main Authors:	V. O. Ermakova, I. A. Lomazova
Format:	Article
Language:	English
Published:	Russian Academy of Sciences, Ivannikov Institute for System Programming 2018-10-01
Subjects:	мультиагентные системы верификация сети петри вложенные сети петри развертки
Online Access:	https://ispranproceedings.elpub.ru/jour/article/view/142