%0 Journal Article %T NESTED PETRI NETS AND LOADED INSCRIPTION LABELS: DISTRIBUTED SYSTEM AND RECURSION %A Markov, A.. %A Voevoda, A.. %K nested Petri nets, loaded inscription labels, recursion, distributed systems, factorial, combined data type, horizontal and vertical synchronization of transitions %J Vestnik of Astrakhan State Technical University. Series: Management, computer science and informatics %D 2015 %N 2015 %P 8 %I Astrakhan State Technical University