@article{Markov2015nested,
author={Markov, A.. and Voevoda, A..},
title={NESTED PETRI NETS AND LOADED INSCRIPTION LABELS: DISTRIBUTED SYSTEM AND RECURSION},
journal={Vestnik of Astrakhan State Technical University. Series: Management, computer science and informatics},
publisher={Astrakhan State Technical University},
year={2015},
pages={23-31},
volume={2015},
issue={2},
}