Package org.processmining.models.graphbased.directed.petrinet.elements

Class Summary

Class	Description
TimedTransition	A timed transition to be used in Stochastic Petri Nets with arbitrary distributions