Irina A. Lomazova. Nested Petri Nets - a Formalism for Specification and Verification of Multi-Agent Distributed Systems. Fundamenta Informaticae, 43(1-4):195-214, 2000.
@article{Lomazova00,
title = {Nested Petri Nets - a Formalism for Specification and Verification of Multi-Agent Distributed Systems},
author = {Irina A. Lomazova},
year = {2000},
researchr = {https://researchr.org/publication/Lomazova00},
cites = {0},
citedby = {0},
journal = {Fundamenta Informaticae},
volume = {43},
number = {1-4},
pages = {195-214},
}