Open AccessSymbolic marks in Petri nets regarding program analysis
Author(s) -
Aleksandr Voevoda,
Dmitrii Romannikov
Publication year - 2015
Publication title -
sbornik naučnyh trudov ngtu
Language(s) - Uncategorized
Resource type - Journals
ISSN - 2307-6879
DOI - 10.17212/2307-6879-2015-2-80-86
Subject(s) - petri net , computer science , symbolic data analysis , programming language , theoretical computer science