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