ptolemy.domains.petrinet.lib.gui