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