Constructor parameters in org.processmining.connections.logmodel with type arguments of type Transition |
LogPetrinetConnectionImpl(org.deckfour.xes.model.XLog log,
org.deckfour.xes.classification.XEventClasses classes,
InhibitorNet graph,
java.util.Collection<org.processmining.framework.util.Pair<Transition,org.deckfour.xes.classification.XEventClass>> relations)
|
LogPetrinetConnectionImpl(org.deckfour.xes.model.XLog log,
org.deckfour.xes.classification.XEventClasses classes,
InhibitorNet graph,
java.util.Map<Transition,org.deckfour.xes.classification.XEventClass> relations)
|
LogPetrinetConnectionImpl(org.deckfour.xes.model.XLog log,
org.deckfour.xes.classification.XEventClasses classes,
Petrinet graph,
java.util.Collection<org.processmining.framework.util.Pair<Transition,org.deckfour.xes.classification.XEventClass>> relations)
|
LogPetrinetConnectionImpl(org.deckfour.xes.model.XLog log,
org.deckfour.xes.classification.XEventClasses classes,
PetrinetGraph graph,
java.util.Collection<org.processmining.framework.util.Pair<Transition,org.deckfour.xes.classification.XEventClass>> relations)
|
LogPetrinetConnectionImpl(org.deckfour.xes.model.XLog log,
org.deckfour.xes.classification.XEventClasses classes,
PetrinetGraph graph,
java.util.Map<Transition,org.deckfour.xes.classification.XEventClass> relations)
|
LogPetrinetConnectionImpl(org.deckfour.xes.model.XLog log,
org.deckfour.xes.classification.XEventClasses classes,
Petrinet graph,
java.util.Map<Transition,org.deckfour.xes.classification.XEventClass> relations)
|
LogPetrinetConnectionImpl(org.deckfour.xes.model.XLog log,
org.deckfour.xes.classification.XEventClasses classes,
ResetInhibitorNet graph,
java.util.Collection<org.processmining.framework.util.Pair<Transition,org.deckfour.xes.classification.XEventClass>> relations)
|
LogPetrinetConnectionImpl(org.deckfour.xes.model.XLog log,
org.deckfour.xes.classification.XEventClasses classes,
ResetInhibitorNet graph,
java.util.Map<Transition,org.deckfour.xes.classification.XEventClass> relations)
|
LogPetrinetConnectionImpl(org.deckfour.xes.model.XLog log,
org.deckfour.xes.classification.XEventClasses classes,
ResetNet graph,
java.util.Collection<org.processmining.framework.util.Pair<Transition,org.deckfour.xes.classification.XEventClass>> relations)
|
LogPetrinetConnectionImpl(org.deckfour.xes.model.XLog log,
org.deckfour.xes.classification.XEventClasses classes,
ResetNet graph,
java.util.Map<Transition,org.deckfour.xes.classification.XEventClass> relations)
|
Constructor parameters in org.processmining.models.connections.petrinets.behavioral with type arguments of type Transition |
AggCGGraphConnection(PetrinetGraph net,
Marking marking,
org.processmining.models.semantics.Semantics<Marking,Transition> semantics,
AggCGGraph aggCGGraph)
|
AggTSGraphConnection(PetrinetGraph net,
Marking marking,
org.processmining.models.semantics.Semantics<Marking,Transition> semantics,
AggTSGraph aggTSGraph)
|
BehavioralAnalysisInformationConnection(PetrinetGraph net,
Marking marking,
org.processmining.models.semantics.Semantics<Marking,Transition> semantics,
NetAnalysisInformation<?> netAnalysisInformation)
Connection with marking |
BoundednessInfoConnection(PetrinetGraph net,
Marking marking,
org.processmining.models.semantics.Semantics<Marking,Transition> semantics,
NetAnalysisInformation.BOUNDEDNESS netAnalysisInformation)
|
CoverabilityGraphConnection(PetrinetGraph net,
org.processmining.models.graphbased.directed.transitionsystem.TransitionSystem coverabilityGraph,
Marking marking,
org.processmining.models.semantics.Semantics<Marking,Transition> semantics)
|
CoverabilitySetConnection(PetrinetGraph net,
Marking initial,
AbstractMarkingSet<?> marking,
org.processmining.models.semantics.Semantics<Marking,Transition> semantics,
java.lang.String setName)
|
DeadMarkingConnection(PetrinetGraph net,
Marking initial,
org.processmining.models.graphbased.directed.transitionsystem.AcceptStateSet acceptingStates,
org.processmining.models.semantics.Semantics<Marking,Transition> semantics)
|
DeadTransitionsConnection(PetrinetGraph net,
Marking marking,
org.processmining.models.semantics.Semantics<Marking,Transition> semantics,
DeadTransitionsSet dead)
|
HomeMarkingConnection(PetrinetGraph net,
Marking initial,
AbstractMarkingSet<?> marking,
org.processmining.models.semantics.Semantics<Marking,Transition> semantics,
java.lang.String setName)
|
LivenessInfoConnection(PetrinetGraph net,
Marking marking,
org.processmining.models.semantics.Semantics<Marking,Transition> semantics,
NetAnalysisInformation.LIVENESS netAnalysisInformation)
|
MarkingsetNetConnection(PetrinetGraph net,
AbstractMarkingSet<?> marking,
org.processmining.models.semantics.Semantics<Marking,Transition> semantics,
java.lang.String setName)
All markings contain only places from the net, i.e. |
NonLiveSequencesConnection(PetrinetGraph net,
NonLiveSequences sequences,
Marking marking,
Marking[] allowedFinalMarkings,
org.processmining.models.semantics.Semantics<Marking,Transition> semantics)
|
NonLiveTransitionsConnection(PetrinetGraph net,
NonLiveTransitionsSet transitions,
Marking marking,
org.processmining.models.semantics.Semantics<Marking,Transition> semantics)
|
NonRelaxedSoundTransitionsConnection(Petrinet net,
Marking marking,
org.processmining.models.semantics.Semantics<Marking,Transition> semantics,
NonRelaxedSoundTransitionsSet causalNonRelaxedSoundTransitions)
|
ReachabilitySetConnection(PetrinetGraph net,
Marking initial,
AbstractMarkingSet<?> marking,
org.processmining.models.semantics.Semantics<Marking,Transition> semantics,
java.lang.String setName)
|
RelaxedSoundessInfoConnection(Petrinet net,
Marking marking,
org.processmining.models.semantics.Semantics<Marking,Transition> semantics,
NetAnalysisInformation.RELAXEDSOUND netAnalysisInformation)
|
StateSpaceConnection(PetrinetGraph net,
Marking marking,
org.processmining.models.graphbased.directed.transitionsystem.TransitionSystem statespace,
org.processmining.models.semantics.Semantics<Marking,Transition> semantics)
|
UnboundedPlacesConnection(PetrinetGraph net,
UnboundedPlacesSet places,
Marking marking,
org.processmining.models.semantics.Semantics<Marking,Transition> semantics)
|
UnboundedSequencesConnection(PetrinetGraph net,
UnboundedSequences sequences,
Marking marking,
org.processmining.models.semantics.Semantics<Marking,Transition> semantics)
|
UnfoldingNetConnection(PetrinetGraph originalNet,
Marking originalMarking,
org.processmining.models.semantics.Semantics<Marking,Transition> semantics,
PetrinetGraph prefixNet)
connect Petri net to its finite complete prefix |
UnfoldingNetConnection(PetrinetGraph originalNet,
Marking originalMarking,
org.processmining.models.semantics.Semantics<Marking,Transition> semantics,
PetrinetGraph prefixNet,
CTMarking prefixMarking)
|
UnfoldingNetConnection(PetrinetGraph originalNet,
Marking originalMarking,
org.processmining.models.semantics.Semantics<Marking,Transition> semantics,
PetrinetGraph prefixNet,
Marking prefixMarking)
connect Petri net to its finite complete prefix |
Methods in org.processmining.models.graphbased.directed.petrinet with parameters of type Transition |
Arc |
PetrinetGraph.addArc(Place p,
Transition t)
|
Arc |
PetrinetGraph.addArc(Place p,
Transition t,
ExpandableSubNet parent)
|
Arc |
PetrinetGraph.addArc(Place p,
Transition t,
int weight)
|
Arc |
PetrinetGraph.addArc(Place p,
Transition t,
int weight,
ExpandableSubNet parent)
|
Arc |
PetrinetGraph.addArc(Transition t,
Place p)
|
Arc |
PetrinetGraph.addArc(Transition t,
Place p,
ExpandableSubNet parent)
|
Arc |
PetrinetGraph.addArc(Transition t,
Place p,
int weight)
|
Arc |
PetrinetGraph.addArc(Transition t,
Place p,
int weight,
ExpandableSubNet parent)
|
InhibitorArc |
InhibitorNet.addInhibitorArc(Place p,
Transition t)
|
InhibitorArc |
ResetInhibitorNet.addInhibitorArc(Place p,
Transition t)
|
InhibitorArc |
InhibitorNet.addInhibitorArc(Place p,
Transition t,
ExpandableSubNet parent)
|
InhibitorArc |
ResetInhibitorNet.addInhibitorArc(Place p,
Transition t,
ExpandableSubNet parent)
|
InhibitorArc |
InhibitorNet.addInhibitorArc(Place p,
Transition t,
java.lang.String label)
|
InhibitorArc |
ResetInhibitorNet.addInhibitorArc(Place p,
Transition t,
java.lang.String label)
|
InhibitorArc |
InhibitorNet.addInhibitorArc(Place p,
Transition t,
java.lang.String label,
ExpandableSubNet parent)
|
InhibitorArc |
ResetInhibitorNet.addInhibitorArc(Place p,
Transition t,
java.lang.String label,
ExpandableSubNet parent)
|
ResetArc |
ResetInhibitorNet.addResetArc(Place p,
Transition t)
|
ResetArc |
ResetNet.addResetArc(Place p,
Transition t)
|
ResetArc |
ResetInhibitorNet.addResetArc(Place p,
Transition t,
ExpandableSubNet parent)
|
ResetArc |
ResetNet.addResetArc(Place p,
Transition t,
ExpandableSubNet parent)
|
ResetArc |
ResetInhibitorNet.addResetArc(Place p,
Transition t,
java.lang.String label)
|
ResetArc |
ResetNet.addResetArc(Place p,
Transition t,
java.lang.String label)
|
ResetArc |
ResetInhibitorNet.addResetArc(Place p,
Transition t,
java.lang.String label,
ExpandableSubNet parent)
|
ResetArc |
ResetNet.addResetArc(Place p,
Transition t,
java.lang.String label,
ExpandableSubNet parent)
|
InhibitorArc |
InhibitorNet.getInhibitorArc(Place p,
Transition t)
|
InhibitorArc |
ResetInhibitorNet.getInhibitorArc(Place p,
Transition t)
|
ResetArc |
ResetInhibitorNet.getResetArc(Place p,
Transition t)
|
ResetArc |
ResetNet.getResetArc(Place p,
Transition t)
|
InhibitorArc |
InhibitorNet.removeInhibitorArc(Place p,
Transition t)
|
InhibitorArc |
ResetInhibitorNet.removeInhibitorArc(Place p,
Transition t)
|
ResetArc |
ResetInhibitorNet.removeResetArc(Place p,
Transition t)
|
ResetArc |
ResetNet.removeResetArc(Place p,
Transition t)
|
Transition |
PetrinetGraph.removeTransition(Transition transition)
|
Methods in org.processmining.plugins.pnml with parameters of type Transition |
PnmlReferenceTransition |
PnmlPage.convertFromNet(ExpandableSubNet parent,
Transition transition,
java.util.Map<org.processmining.framework.util.Pair<org.processmining.models.graphbased.AbstractGraphElement,ExpandableSubNet>,java.lang.String> idMap,
org.processmining.models.connections.GraphLayoutConnection layout)
|
PnmlReferenceTransition |
PnmlReferenceTransition.convertFromNet(ExpandableSubNet parent,
Transition transition,
java.util.Map<org.processmining.framework.util.Pair<org.processmining.models.graphbased.AbstractGraphElement,ExpandableSubNet>,java.lang.String> idMap,
org.processmining.models.connections.GraphLayoutConnection layout)
|
PnmlTransition |
PnmlTransition.convertFromNet(PetrinetGraph net,
ExpandableSubNet parent,
Transition element,
java.util.Map<org.processmining.framework.util.Pair<org.processmining.models.graphbased.AbstractGraphElement,ExpandableSubNet>,java.lang.String> idMap,
org.processmining.models.connections.GraphLayoutConnection layout)
|
Method parameters in org.processmining.plugins.pnml with type arguments of type Transition |
void |
PnmlPage.convertToNet(PetrinetGraph net,
ExpandableSubNet subNet,
int pageCtr,
Marking marking,
java.util.Map<java.lang.String,Place> placeMap,
java.util.Map<java.lang.String,Transition> transitionMap,
java.awt.geom.Point2D.Double displacement,
boolean createGroup,
org.processmining.models.connections.GraphLayoutConnection layout)
Converts this page to a Petri net. |
void |
PnmlArc.convertToNet(PetrinetGraph net,
ExpandableSubNet subNet,
java.util.Map<java.lang.String,Place> placeMap,
java.util.Map<java.lang.String,Transition> transitionMap,
java.awt.geom.Point2D.Double displacement,
org.processmining.models.connections.GraphLayoutConnection layout)
Converts this PNML arc to a regular Petri net arc. |
void |
PnmlReferenceTransition.convertToNet(PetrinetGraph net,
ExpandableSubNet subNet,
java.util.Map<java.lang.String,Transition> map)
Converts this reference transition object to a regular Petri net
transition. |
void |
PnmlTransition.convertToNet(PetrinetGraph net,
ExpandableSubNet subNet,
java.util.Map<java.lang.String,Transition> map,
java.awt.geom.Point2D.Double displacement,
org.processmining.models.connections.GraphLayoutConnection layout)
Converts this transition to a Petri net transition. |
void |
PnmlNet.convertToNet(PetrinetGraph net,
Marking marking,
java.util.Map<java.lang.String,Place> placeMap,
java.util.Map<java.lang.String,Transition> transitionMap,
org.processmining.models.connections.GraphLayoutConnection layout)
Convert this net to a Petri net. |