TY JOUR TI NESTED PETRI NETS AND LOADED INSCRIPTION LABELS: DISTRIBUTED SYSTEM AND RECURSION KW nested Petri nets KW loaded inscription labels KW recursion KW distributed systems KW factorial KW combined data type KW horizontal and vertical synchronization of transitions JO Vestnik of Astrakhan State Technical University. Series: Management, computer science and informatics AU Markov, A.. AU Voevoda, A.. PY 2015 IS 2015 PB Astrakhan State Technical University