1 2 3 4 5
% This file is part of the Petri-nets packages. See file README for % copyright notice. \input pntext \input pndraw