public class RelaxedSoundessInfoConnection extends BehavioralAnalysisInformationConnection
NETANALYSISINFORMATION
MARKING, NET, SEMANTICS
Constructor and Description |
---|
RelaxedSoundessInfoConnection(Petrinet net,
Marking marking,
org.processmining.models.semantics.Semantics<Marking,Transition> semantics,
NetAnalysisInformation.RELAXEDSOUND netAnalysisInformation) |
getSemantics
isRemoved, putStrong
public RelaxedSoundessInfoConnection(Petrinet net, Marking marking, org.processmining.models.semantics.Semantics<Marking,Transition> semantics, NetAnalysisInformation.RELAXEDSOUND netAnalysisInformation)