Package ptolemy.domains.petrinet.kernel

Petri net domain kernel.

Since:
Ptolemy II 2.0