Package ptolemy.domains.petrinet.lib

The ptolemy/domains/petrinet/lib package.

Since:
Ptolemy II 8.1