/macros/generic/petri-nets/