Topic petri-net

macros in sup­port of work with petri nets