Uses of Class
org.processmining.models.graphbased.directed.petrinet.analysis.NonRelaxedSoundTransitionsSet

Packages that use NonRelaxedSoundTransitionsSet

org.processmining.models.connections.petrinets.behavioral

Uses of NonRelaxedSoundTransitionsSet in org.processmining.models.connections.petrinets.behavioral

Constructors in org.processmining.models.connections.petrinets.behavioral with parameters of type NonRelaxedSoundTransitionsSet

NonRelaxedSoundTransitionsConnection(Petrinet net, Marking marking, org.processmining.models.semantics.Semantics<Marking,Transition> semantics, NonRelaxedSoundTransitionsSet causalNonRelaxedSoundTransitions)