|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Uses of PetriNet in org.processmining.analysis.conformance |
---|
Subclasses of PetriNet in org.processmining.analysis.conformance | |
---|---|
class |
BehAppropriatenessVisualization
Overrides the default Petri net visualization to add behavioral appropriateness diagnostics. |
class |
DiagnosticPetriNet
This class is used to enhance the petri net model with conformance check results. |
class |
FitnessLogTraceVisualization
Overrides the default visualization methods to show the selected log traces instead of the model. |
class |
FitnessVisualization
Overrides the default visualization methods to include all the diagnostic information being requested. |
class |
StrAppropriatenessVisualization
Overrides the default Petri net visualization to add structural appropriateness diagnostics. |
Fields in org.processmining.analysis.conformance declared as PetriNet | |
---|---|
PetriNet |
StateSpaceExplorationResult.inputPetriNet
|
PetriNet |
StructuralAnalysisResult.inputPetriNet
|
PetriNet |
StructuralAnalysisResult.reducedPetriNet
The original Petri net passed to the analysis method. |
Methods in org.processmining.analysis.conformance that return PetriNet | |
---|---|
PetriNet |
StructuralAnalysisResult.getReducedPetriNet()
Retrieves the reduced Petri Net in case there were redundant invisible tasks found in the model. |
Methods in org.processmining.analysis.conformance with parameters of type PetriNet | |
---|---|
protected LogReplayAnalysisResult |
ConformanceMeasurer.initLogReplayAnalysisResult(AnalysisConfiguration analysisOptions,
PetriNet petriNet,
LogReader log,
LogReplayAnalysisMethod analysisMethod)
To be overridden in subclasses that want create custom analysis results. Creates an analysis result of type ConformanceLogReplayResult . |
void |
StructuralAnalysisResult.setReducedPetriNet(PetriNet reducedNet)
Provides the Petri net reduced by redundant invisible tasks. |
Constructors in org.processmining.analysis.conformance with parameters of type PetriNet | |
---|---|
BehAppropriatenessVisualization(PetriNet net,
java.util.ArrayList caseIDs,
DiagnosticLogReader replayedLog)
Creates a diagnostic Petri net with successorship relation visualization. |
|
ConformanceAnalysisSettings(ConformanceAnalysisPlugin algorithm,
AnalysisInputItem[] input,
PetriNet net,
LogReader log)
Creates the analysis settings frame. |
|
ConformanceLogReplayResult(AnalysisConfiguration analysisOptions,
PetriNet net,
LogReader log,
LogReplayAnalysisMethod method)
Evaluate the given configuration options, that is, retrieves the choices made by the user and converts them into analysis option variables indicating which parts of the analysis needs to be done. |
|
DiagnosticPetriNet(PetriNet net,
java.util.ArrayList caseIDs,
DiagnosticLogReader replayedLog)
Constructs a DiagnosticPetriNet out of an ordinary one. |
|
DiagnosticPlace(Place p,
PetriNet net,
java.util.ArrayList caseIDs)
The constructor creates a normal place but additionally initializes the counter of missing and remaining tokens for every process instance specified. |
|
DiagnosticTransition(Transition t,
PetriNet net,
java.util.ArrayList caseIDs)
The constructor creates a normal transition but additionally initializes the diagnostic information for every process instance specified. |
|
FitnessLogTraceVisualization(PetriNet net,
java.util.ArrayList caseIDs,
DiagnosticLogReader replayedLog)
Create a diagnostic Petri net with log trace visualization. |
|
FitnessVisualization(PetriNet net,
java.util.ArrayList caseIDs,
DiagnosticLogReader replayedLog)
Create a diagnostic Petri net with path coverage visualization. |
|
StateSpaceExplorationMethod(PetriNet inputPetriNet)
Creates the state space analysis method object. |
|
StateSpaceExplorationResult(AnalysisConfiguration analysisOptions,
PetriNet net,
StateSpaceExplorationMethod method)
|
|
StrAppropriatenessVisualization(PetriNet net,
java.util.ArrayList caseIDs,
DiagnosticLogReader replayedLog)
Creates a diagnostic Petri net with successorship relation visualization. |
|
StructuralAnalysisMethod(PetriNet inputPetriNet)
Creates the structural analysis method object. |
|
StructuralAnalysisResult(AnalysisConfiguration analysisOptions,
PetriNet net,
StructuralAnalysisMethod method)
Creates the result object for the structural Analysis Method. |
Uses of PetriNet in org.processmining.analysis.decisionmining |
---|
Subclasses of PetriNet in org.processmining.analysis.decisionmining | |
---|---|
class |
DecisionPointVisualization
|
Constructors in org.processmining.analysis.decisionmining with parameters of type PetriNet | |
---|---|
DecisionPointAnalysisResult(HLPetriNet hlPetriNet,
PetriNet model,
LogReader log)
|
|
DecisionPointBuilderPetriNet(PetriNet model,
DecisionPointAnalysisResult parent)
Creates a decision point builder for a Petri net model. |
|
DecisionPointContextPetriNet(PetriNet model,
Place place,
DecisionPoint decisionPoint)
Default constructor. |
|
DecisionPointPetriNet(java.lang.String name,
DecisionPointAnalysisResult parent,
PetriNet petriNetModel,
Place place)
|
|
DecisionPointVisualization(PetriNet net)
Create a Petri net with decision point visualization. |
Uses of PetriNet in org.processmining.analysis.performance |
---|
Subclasses of PetriNet in org.processmining.analysis.performance | |
---|---|
class |
ExtendedPetriNet
This class is used to enhance the Petri net model with performance results. |
Methods in org.processmining.analysis.performance with parameters of type PetriNet | |
---|---|
protected LogReplayAnalysisResult |
PerformanceMeasurer.initLogReplayAnalysisResult(AnalysisConfiguration analysisOptions,
PetriNet petriNet,
LogReader log,
LogReplayAnalysisMethod analysisMethod)
To be overridden in subclasses that want create custom analysis results. Creates an analysis result of type PerformanceLogReplayResult . |
Constructors in org.processmining.analysis.performance with parameters of type PetriNet | |
---|---|
ExtendedPetriNet(PetriNet net,
java.util.ArrayList caseIDs)
Constructs an ExtendedPetriNet out of an ordinary one. |
|
ExtendedPlace(Place p,
PetriNet net,
java.util.ArrayList caseIDs)
The constructor creates a normal place but additionally initializes |
|
ExtendedTransition(Transition t,
PetriNet net,
java.util.ArrayList caseIDs)
Calls the constructor of its superclass |
|
PerformanceAnalysisSettings(PerformanceAnalysisPlugin algorithm,
AnalysisInputItem[] input,
PetriNet net,
LogReader log)
|
|
PerformanceLogReplayResult(AnalysisConfiguration analysisOptions,
PetriNet net,
LogReader log,
LogReplayAnalysisMethod method)
|
Uses of PetriNet in org.processmining.analysis.petrinet |
---|
Constructors in org.processmining.analysis.petrinet with parameters of type PetriNet | |
---|---|
PetriNetAnalysisUI(PetriNet net)
|
|
WoflanAnalysisUI(PetriNet net)
Creates a GUI for the Woflan analysis. |
Uses of PetriNet in org.processmining.analysis.petrinet.structuredness |
---|
Constructors in org.processmining.analysis.petrinet.structuredness with parameters of type PetriNet | |
---|---|
UnstructuredComponent(PetriNet wfnet)
|
|
WorkflowNetStructurednessAnalysisUI(PetriNet net)
|
Uses of PetriNet in org.processmining.converting |
---|
Methods in org.processmining.converting that return PetriNet | |
---|---|
PetriNet |
oWFNetToPetriNet.convert(oWFNet source)
|
PetriNet |
PDMModelToPetriNetPlugin.convert(PDMModel model)
Converts the PDMModel into a petri net by starting with the root element and creating a prepare and produce transition for every data element. |
PetriNet |
PDMToSimplePetriNet.convert(PDMModel model)
|
PetriNet |
WFNetToPetriNet.convert(WFNet source)
|
PetriNet |
PetriNetReduction.reduce(PetriNet providedPN)
Apply the liveness and boundedness preserving reduction rules on the given Petri net as long as reductions can be applied. |
PetriNet |
PetriNetReduction.reduceOnce(PetriNet providedPN)
Apply the liveness and boundedness preserving reduction rules on the given Petri net in one pass. |
PetriNet |
HNetToPetriNetConverter.toPetriNet(HeuristicsNet hNet)
This method assumes that all INPUT/OUTPUT set in the heuristics net match. |
Methods in org.processmining.converting with parameters of type PetriNet | |
---|---|
WFNet |
PetriNetToWFNet.convert(PetriNet source)
|
oWFNet |
PetriNetTooWFNet.convert(PetriNet source)
|
ConfigurableEPC |
WFNetToEPC.convert(PetriNet net)
Convert the given Petri net into an EPC. |
YAWLModel |
WFNetToYAWL.convert(PetriNet net)
Convert the given Petri net into a YAWL model. |
static java.util.HashSet<PNNode> |
WFNetToYAWL.getSphere(PetriNet net,
Transition labeledTransition,
boolean isJoin)
Construct the join/split sphere for the given transition in ht egiven Petri net. |
protected void |
PDMModelToPetriNetPlugin.printTestOutput(PetriNet model)
|
protected void |
PDMToSimplePetriNet.printTestOutput(PetriNet model)
|
PetriNet |
PetriNetReduction.reduce(PetriNet providedPN)
Apply the liveness and boundedness preserving reduction rules on the given Petri net as long as reductions can be applied. |
PetriNet |
PetriNetReduction.reduceOnce(PetriNet providedPN)
Apply the liveness and boundedness preserving reduction rules on the given Petri net in one pass. |
Uses of PetriNet in org.processmining.converting.wfnet2bpel |
---|
Methods in org.processmining.converting.wfnet2bpel that return types with arguments of type PetriNet | |
---|---|
Quintuple<PetriNet,BPELActivity,java.lang.String,java.lang.Integer,java.util.Map<att.grappa.Node,att.grappa.Node>> |
ManualTranslationWizard.translateAComponent(java.util.List<PetriNet> components,
java.util.List<ComponentDescription> matchingOrder)
|
Methods in org.processmining.converting.wfnet2bpel with parameters of type PetriNet | |
---|---|
protected MiningResult |
Converter.convert(LogReader logReader,
PetriNet pn)
|
Method parameters in org.processmining.converting.wfnet2bpel with type arguments of type PetriNet | |
---|---|
java.util.Map<java.lang.String,Choice> |
UnclearChoiceHandler.handleChoices(java.util.Map<java.lang.String,Pair<PetriNet,Choice>> unclearChoices)
|
Quintuple<PetriNet,BPELActivity,java.lang.String,java.lang.Integer,java.util.Map<att.grappa.Node,att.grappa.Node>> |
ManualTranslationWizard.translateAComponent(java.util.List<PetriNet> components,
java.util.List<ComponentDescription> matchingOrder)
|
Uses of PetriNet in org.processmining.converting.wfnet2bpel.log |
---|
Methods in org.processmining.converting.wfnet2bpel.log with parameters of type PetriNet | |
---|---|
void |
BPELLog.prepareToShowLog(PetriNet wfnet,
java.util.Map<java.lang.String,BPELActivity> annotations,
BPEL bpel)
|
void |
TranslationEditor.setPetriNet(PetriNet petriNet)
|
Constructors in org.processmining.converting.wfnet2bpel.log with parameters of type PetriNet | |
---|---|
BPELLog(PetriNet initialNet)
|
Uses of PetriNet in org.processmining.converting.wfnet2bpel.pattern |
---|
Methods in org.processmining.converting.wfnet2bpel.pattern with parameters of type PetriNet | |
---|---|
static BPELLibraryComponent |
BPELPatternMatcher.getBPELLibraryComponent(PetriNet wfnet,
java.lang.String libraryComponent,
java.lang.String libraryPath,
java.util.Set<PetriNet> components,
java.util.Map<java.lang.String,BPELActivity> annotations)
|
static FlowComponent |
BPELPatternMatcher.getMaximalFlowComponent(PetriNet wfnet,
java.util.Map<java.lang.String,BPELActivity> annotations,
java.util.Map<java.lang.String,Choice> choices,
java.util.Set<PetriNet> components)
Finds a maximal FLOW-component in a Petri net |
static PickComponent |
BPELPatternMatcher.getPick(PetriNet wfnet,
java.util.Map<java.lang.String,Choice> choices)
Finds a PICK-component in a WF-net |
static SwitchComponent |
BPELPatternMatcher.getSwitch(PetriNet wfnet,
java.util.Map<java.lang.String,Choice> choices)
Finds a SWITCH-component in a WF-net |
static void |
BPELPatternMatcher.reduce(PetriNet wfnet,
PetriNet component,
BPELActivity annotation,
java.util.Map<java.lang.String,BPELActivity> annotations,
java.util.Map<java.lang.String,Choice> choices)
Reduces the input WF-net by the input component |
Method parameters in org.processmining.converting.wfnet2bpel.pattern with type arguments of type PetriNet | |
---|---|
static BPELLibraryComponent |
BPELPatternMatcher.getBPELLibraryComponent(PetriNet wfnet,
java.lang.String libraryComponent,
java.lang.String libraryPath,
java.util.Set<PetriNet> components,
java.util.Map<java.lang.String,BPELActivity> annotations)
|
static FlowComponent |
BPELPatternMatcher.getMaximalFlowComponent(PetriNet wfnet,
java.util.Map<java.lang.String,BPELActivity> annotations,
java.util.Map<java.lang.String,Choice> choices,
java.util.Set<PetriNet> components)
Finds a maximal FLOW-component in a Petri net |
Constructors in org.processmining.converting.wfnet2bpel.pattern with parameters of type PetriNet | |
---|---|
BPELLibraryComponent(PetriNet wfnet,
java.lang.String path,
java.util.Map<att.grappa.Node,att.grappa.Node> isomorphism,
BPELActivity activity)
|
|
FlowComponent(PetriNet wfnet)
|
|
PickComponent(PetriNet wfnet)
|
|
SwitchComponent(PetriNet wfnet)
|
Uses of PetriNet in org.processmining.exporting.bpel4ws |
---|
Fields in org.processmining.exporting.bpel4ws declared as PetriNet | |
---|---|
PetriNet |
Component.wfnet
The actual Petri net of this component |
Methods in org.processmining.exporting.bpel4ws that return types with arguments of type PetriNet | |
---|---|
static java.util.TreeSet<PetriNet> |
PatternMatcher.findComponents(PetriNet wfnet)
This method finds all components that exists in the WF-net. |
Methods in org.processmining.exporting.bpel4ws with parameters of type PetriNet | |
---|---|
static java.util.TreeSet<PetriNet> |
PatternMatcher.findComponents(PetriNet wfnet)
This method finds all components that exists in the WF-net. |
static Component |
PatternMatcher.getComponentFromLibrary(PetriNet wfnet,
Triple<java.lang.String,PetriNet,Activity> libraryComponent,
java.util.TreeSet<PetriNet> components,
java.util.Map<java.lang.String,Activity> annotations,
java.util.Map<java.lang.String,Choice> choices)
Finds a component from a the user defined LIBRARY-components |
static Component |
PatternMatcher.getMaximalFlow(PetriNet wfnet,
java.util.TreeSet<PetriNet> components,
java.util.Map<java.lang.String,Activity> annotations,
java.util.Map<java.lang.String,Choice> choices)
Finds a maximal FLOW-component in a Petri net |
static Component |
PatternMatcher.getMaximalSequence(PetriNet wfnet)
Finds a maximal sequence in a given WF-net |
static Component |
PatternMatcher.getPick(PetriNet wfnet,
java.util.Map<java.lang.String,Choice> choices)
Finds a PICK-component in a WF-net |
static Component |
PatternMatcher.getSwitch(PetriNet wfnet,
java.util.Map<java.lang.String,Choice> choices)
Finds a SWITCH-component in a WF-net |
static Component |
PatternMatcher.getWhile(PetriNet wfnet,
java.util.Map<java.lang.String,Choice> choices)
Finds a WHILE-component in a WF-net |
Method parameters in org.processmining.exporting.bpel4ws with type arguments of type PetriNet | |
---|---|
static Component |
PatternMatcher.getComponentFromLibrary(PetriNet wfnet,
Triple<java.lang.String,PetriNet,Activity> libraryComponent,
java.util.TreeSet<PetriNet> components,
java.util.Map<java.lang.String,Activity> annotations,
java.util.Map<java.lang.String,Choice> choices)
Finds a component from a the user defined LIBRARY-components |
static Component |
PatternMatcher.getComponentFromLibrary(PetriNet wfnet,
Triple<java.lang.String,PetriNet,Activity> libraryComponent,
java.util.TreeSet<PetriNet> components,
java.util.Map<java.lang.String,Activity> annotations,
java.util.Map<java.lang.String,Choice> choices)
Finds a component from a the user defined LIBRARY-components |
static Component |
PatternMatcher.getEindhovenComponent(java.util.TreeSet<PetriNet> components)
|
static Component |
PatternMatcher.getMaximalFlow(PetriNet wfnet,
java.util.TreeSet<PetriNet> components,
java.util.Map<java.lang.String,Activity> annotations,
java.util.Map<java.lang.String,Choice> choices)
Finds a maximal FLOW-component in a Petri net |
java.util.Map<java.lang.String,Choice> |
UnclearChoiceHandler.handleChoices(java.util.Map<java.lang.String,Pair<PetriNet,Choice>> unclearChoices,
WorkflowNet2BPEL4WS plugin)
|
void |
ReductionResult.showIrreducibleComponents(java.util.TreeSet<PetriNet> irreducibles)
|
void |
ReductionResult.showReductions(java.util.Vector<Pair<PetriNet,Component>> reductions)
|
Constructors in org.processmining.exporting.bpel4ws with parameters of type PetriNet | |
---|---|
Component(Component.Type type,
PetriNet wfnet,
Activity activity,
java.lang.String libraryComponentName,
att.grappa.Node source,
att.grappa.Node sink)
|
|
Component(Component.Type type,
PetriNet wfnet,
att.grappa.Node source,
att.grappa.Node sink)
|
Uses of PetriNet in org.processmining.exporting.petrinet.cpnexport |
---|
Subclasses of PetriNet in org.processmining.exporting.petrinet.cpnexport | |
---|---|
class |
ColoredPetriNet
A hierarchical Petri net close to a Coloured Petri net that can be exported to CPN Tools. |
Constructors in org.processmining.exporting.petrinet.cpnexport with parameters of type PetriNet | |
---|---|
ColoredPetriNet(PetriNet net)
Constructs a ColoredPetriNet out of an ordinary one. |
|
ColoredPlace(java.lang.String name,
PetriNet net,
int x,
int y,
int w,
int h)
Constructor to create a ColoredPlace without having a template place. |
Uses of PetriNet in org.processmining.exporting.petrinet.cpnexport.HLImplementation |
---|
Subclasses of PetriNet in org.processmining.exporting.petrinet.cpnexport.HLImplementation | |
---|---|
class |
PetriNetSimVisualization
Overrides the default visualization methods to include all the simulation information of a HighLevelPetriNet |
Methods in org.processmining.exporting.petrinet.cpnexport.HLImplementation that return PetriNet | |
---|---|
PetriNet |
HLPetriNet.getProcessModel()
Returns the Petri net model where this high level process refers to. |
Constructors in org.processmining.exporting.petrinet.cpnexport.HLImplementation with parameters of type PetriNet | |
---|---|
HLPetriNet(PetriNet net)
Creates a high-level process that belongs to the given Petri net process. |
|
PetriNetSimVisualization(PetriNet net)
|
Uses of PetriNet in org.processmining.framework.models.epcpack.algorithms |
---|
Methods in org.processmining.framework.models.epcpack.algorithms that return PetriNet | |
---|---|
static PetriNet |
EPCToPetriNetConverter.convert(ConfigurableEPC baseEPC,
java.util.HashMap connectorMapping)
This static method converts an EPC into a Petri net. |
Uses of PetriNet in org.processmining.framework.models.pdm |
---|
Subclasses of PetriNet in org.processmining.framework.models.pdm | |
---|---|
class |
PDMPetriNet
Title: |
Constructors in org.processmining.framework.models.pdm with parameters of type PetriNet | |
---|---|
PDMPlace(java.lang.String identifier,
PetriNet net)
|
|
PDMTransition(java.lang.String identifier,
PetriNet net)
|
|
PDMTransition(java.lang.String identifier,
PetriNet net,
PDMActivity activity)
|
Uses of PetriNet in org.processmining.framework.models.petrinet |
---|
Subclasses of PetriNet in org.processmining.framework.models.petrinet | |
---|---|
class |
oWFNet
Title: oWFNet |
class |
WFNet
Title: WFNet |
Methods in org.processmining.framework.models.petrinet that return PetriNet | |
---|---|
PetriNet |
PetriNet.extractNet(java.util.Set<att.grappa.Node> nodes)
Returns the a cloned subnet of this PetriNet containing the nodes of the input set argument. |
PetriNet |
StateSpace.getPetriNet()
|
Methods in org.processmining.framework.models.petrinet with parameters of type PetriNet | |
---|---|
void |
PetriNet.addNet(PetriNet pn)
Adds ... |
Constructors in org.processmining.framework.models.petrinet with parameters of type PetriNet | |
---|---|
Place(java.lang.String identifier,
PetriNet net)
Constructor. |
|
PNNode(PetriNet net)
|
|
StateSpace(PetriNet pnet)
Initializes a Petri-net based state space, wheras states correspond to markings of the net, and edges represent transitions in the Petri net. |
|
Transition(LogEvent logModelElement,
PetriNet net)
Constructor specifying the kind of log event. |
|
Transition(PetriNet net)
Basic constructor. |
|
Transition(java.lang.String identifier,
PetriNet net)
Constructor specifying the name. |
Uses of PetriNet in org.processmining.framework.models.petrinet.algorithms |
---|
Methods in org.processmining.framework.models.petrinet.algorithms that return PetriNet | |
---|---|
static PetriNet |
PnmlReader.read(java.io.InputStream input)
|
static PetriNet |
PnmlReader.read(org.w3c.dom.Node node)
|
Methods in org.processmining.framework.models.petrinet.algorithms with parameters of type PetriNet | |
---|---|
static StateSpace |
CoverabilityGraphBuilder.build(PetriNet net)
Constructs the full coverability graph for a given marked net. |
static StateSpace |
ReachabilityGraphBuilder.build(PetriNet net)
|
static StateSpace |
CoverabilityGraphBuilder.build(PetriNet net,
int depth)
Constructs the coverability graph with a potentially limited depth for a given marked net. |
static java.util.ArrayList |
PlaceInvariantCalculator.calculate(PetriNet net,
int shortCircuit)
|
static java.util.ArrayList |
TransitionInvariantCalculator.calculate(PetriNet net,
int shortCircuit)
|
static Bag |
InitialPlaceMarker.mark(PetriNet net,
int tokenCount)
|
static Bag |
InitialPlaceMarker.mark(PetriNet net,
int tokenCount,
java.util.Date timestamp)
|
static Transition |
PetriNetShortCircuiter.shortCircuit(PetriNet net)
|
static void |
PnmlWriter.write(boolean PNKernel,
boolean withSpline,
PetriNet net,
java.io.BufferedWriter bw)
|
static java.lang.String |
TPNWriter.write(PetriNet net)
|
static void |
CpnWriter.write(PetriNet net,
java.io.BufferedWriter bw)
|
Uses of PetriNet in org.processmining.framework.models.petrinet.algorithms.logReplay |
---|
Subclasses of PetriNet in org.processmining.framework.models.petrinet.algorithms.logReplay | |
---|---|
class |
ReplayedPetriNet
A Petri net involved in the log replay analysis method. |
Fields in org.processmining.framework.models.petrinet.algorithms.logReplay declared as PetriNet | |
---|---|
PetriNet |
LogReplayAnalysisResult.inputPetriNet
|
protected PetriNet |
LogReplayAnalysisMethod.myPetriNet
|
Methods in org.processmining.framework.models.petrinet.algorithms.logReplay with parameters of type PetriNet | |
---|---|
protected LogReplayAnalysisResult |
Measurer.initLogReplayAnalysisResult(AnalysisConfiguration analysisOptions,
PetriNet petriNet,
LogReader log,
LogReplayAnalysisMethod analysisMethod)
To be overridden in subclasses that want create custom analysis results. |
Constructors in org.processmining.framework.models.petrinet.algorithms.logReplay with parameters of type PetriNet | |
---|---|
LogReplayAnalysisMethod(PetriNet inputPetriNet,
LogReader inputLog,
Measurer measurer)
Creates the log replay analysis method object. |
|
LogReplayAnalysisResult(AnalysisConfiguration analysisOptions,
PetriNet net,
LogReader log,
LogReplayAnalysisMethod method)
Default constructor creating the results object. |
|
ReplayedPetriNet(PetriNet net,
java.util.ArrayList caseIDs)
Constructs a ReplayedPetriNet out of an ordinary one. |
|
ReplayedPlace(Place template,
PetriNet net,
java.util.ArrayList caseIDs)
The constructor creates a normal place but additionally initializes the diagnostic data structures. |
|
ReplayedTransition(Transition t,
PetriNet net,
java.util.ArrayList caseIDs)
The constructor creates a normal transition but additionally initializes the diagnostic information for every process instance specified. |
Uses of PetriNet in org.processmining.framework.models.petrinet.pattern |
---|
Methods in org.processmining.framework.models.petrinet.pattern that return PetriNet | |
---|---|
PetriNet |
Component.getWfnet()
|
Methods in org.processmining.framework.models.petrinet.pattern that return types with arguments of type PetriNet | |
---|---|
static java.util.TreeSet<PetriNet> |
PatternMatcher.getComponents(PetriNet wfnet)
This method finds all components that exists in the WF-net. |
Methods in org.processmining.framework.models.petrinet.pattern with parameters of type PetriNet | |
---|---|
static LibraryComponent |
PatternMatcher.getComponentFromLibrary(PetriNet wfnet,
java.lang.String componentPath,
java.lang.String libraryPath,
java.util.Set<PetriNet> components)
Finds a component from a the user defined LIBRARY-components |
static java.util.TreeSet<PetriNet> |
PatternMatcher.getComponents(PetriNet wfnet)
This method finds all components that exists in the WF-net. |
static java.util.List<ExplicitChoiceComponent> |
PatternMatcher.getExplicitChoiceComponents(PetriNet wfnet,
java.util.Map<java.lang.String,Choice> choices)
|
static java.util.List<ImplicitChoiceComponent> |
PatternMatcher.getImplicitChoiceComponents(PetriNet wfnet,
java.util.Map<java.lang.String,Choice> choices)
|
static java.util.List<MarkedGraphComponent> |
PatternMatcher.getMarkedGraphComponents(PetriNet wfnet,
java.util.TreeSet<PetriNet> components)
|
static Component |
PatternMatcher.getMaximalSequence(PetriNet wfnet)
Finds a maximal sequence in a given WF-net |
static java.util.List<StateMachineComponent> |
PatternMatcher.getStateMachineComponents(PetriNet wfnet,
java.util.TreeSet<PetriNet> components)
|
static java.util.List<WellStructuredGraphComponent> |
PatternMatcher.getWellStructuredGraphComponents(PetriNet wfnet,
java.util.Set<PetriNet> components)
|
static Component |
PatternMatcher.getWhile(PetriNet wfnet)
Finds a WHILE-component in a WF-net |
static Pair<Transition,java.util.Set<att.grappa.Node>> |
PatternMatcher.reduce(PetriNet wfnet,
PetriNet component)
|
Method parameters in org.processmining.framework.models.petrinet.pattern with type arguments of type PetriNet | |
---|---|
static LibraryComponent |
PatternMatcher.getComponentFromLibrary(PetriNet wfnet,
java.lang.String componentPath,
java.lang.String libraryPath,
java.util.Set<PetriNet> components)
Finds a component from a the user defined LIBRARY-components |
static java.util.List<MarkedGraphComponent> |
PatternMatcher.getMarkedGraphComponents(PetriNet wfnet,
java.util.TreeSet<PetriNet> components)
|
static java.util.List<StateMachineComponent> |
PatternMatcher.getStateMachineComponents(PetriNet wfnet,
java.util.TreeSet<PetriNet> components)
|
static java.util.List<WellStructuredGraphComponent> |
PatternMatcher.getWellStructuredGraphComponents(PetriNet wfnet,
java.util.Set<PetriNet> components)
|
Constructors in org.processmining.framework.models.petrinet.pattern with parameters of type PetriNet | |
---|---|
ChoiceComponent(PetriNet wfnet)
|
|
Component(PetriNet wfnet)
|
|
ExplicitChoiceComponent(PetriNet wfnet)
|
|
ImplicitChoiceComponent(PetriNet wfnet)
|
|
LibraryComponent(PetriNet wfnet,
java.lang.String path,
java.util.Map<att.grappa.Node,att.grappa.Node> isomorphism)
|
|
MarkedGraphComponent(PetriNet wfnet)
|
|
SequenceComponent(PetriNet wfnet)
|
|
StateMachineComponent(PetriNet wfnet)
|
|
WellStructuredGraphComponent(PetriNet wfnet)
|
|
WhileComponent(PetriNet wfnet)
|
Uses of PetriNet in org.processmining.framework.models.petrinet.pattern.log |
---|
Methods in org.processmining.framework.models.petrinet.pattern.log with parameters of type PetriNet | |
---|---|
void |
Log.prepareToShowLog(PetriNet wfnet,
java.lang.String logSpecificMessage)
|
void |
Log.storeLogMatch(PetriNet wfnet,
Component component,
java.lang.Double penalty)
|
Constructors in org.processmining.framework.models.petrinet.pattern.log with parameters of type PetriNet | |
---|---|
Log(PetriNet initialNet)
|
Uses of PetriNet in org.processmining.importing.petrify |
---|
Methods in org.processmining.importing.petrify that return PetriNet | |
---|---|
static PetriNet |
PetrifyReader.read(java.io.InputStream input)
|
Uses of PetriNet in org.processmining.importing.tpn |
---|
Methods in org.processmining.importing.tpn that return PetriNet | |
---|---|
PetriNet |
TpnParser.Start()
|
Methods in org.processmining.importing.tpn with parameters of type PetriNet | |
---|---|
void |
TpnParser.Place(PetriNet net)
|
void |
TpnParser.Trans(PetriNet net)
|
Uses of PetriNet in org.processmining.mining.petrinetmining |
---|
Methods in org.processmining.mining.petrinetmining that return PetriNet | |
---|---|
PetriNet |
PetriNetResult.getPetriNet()
|
Constructors in org.processmining.mining.petrinetmining with parameters of type PetriNet | |
---|---|
PetriNetResult(LogReader log,
PetriNet net)
|
|
PetriNetResult(LogReader log,
PetriNet net,
MiningPlugin algorithm)
|
|
PetriNetResult(PetriNet net)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |