Uses of Class
org.processmining.framework.models.petrinet.PetriNet

Packages that use PetriNet
org.processmining.analysis.conformance Contains classes related to the Conformance Analysis Plugin. 
org.processmining.analysis.decisionmining   
org.processmining.analysis.performance   
org.processmining.analysis.petrinet   
org.processmining.analysis.petrinet.structuredness   
org.processmining.converting   
org.processmining.converting.wfnet2bpel   
org.processmining.converting.wfnet2bpel.log   
org.processmining.converting.wfnet2bpel.pattern   
org.processmining.exporting.bpel4ws   
org.processmining.exporting.petrinet.cpnexport   
org.processmining.exporting.petrinet.cpnexport.HLImplementation   
org.processmining.framework.models.epcpack.algorithms   
org.processmining.framework.models.pdm   
org.processmining.framework.models.petrinet   
org.processmining.framework.models.petrinet.algorithms   
org.processmining.framework.models.petrinet.algorithms.logReplay   
org.processmining.framework.models.petrinet.pattern   
org.processmining.framework.models.petrinet.pattern.log   
org.processmining.importing.petrify   
org.processmining.importing.tpn   
org.processmining.mining.petrinetmining Petrinet-based mining algorithms. 
 

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)