org.processmining.models.graphbased.directed.petrinet.elements
Classes
TimedTransition