ptolemy.domains.petrinet.lib