The ptolemy/domains/petrinet/lib/gui package.
@since Ptolemy II 8.1