Package org.processmining.plugins.petrinet.behavioralanalysis

Class HomeMarkingAnalyzer

java.lang.Object

org.processmining.plugins.petrinet.behavioralanalysis.HomeMarkingAnalyzer

public class HomeMarkingAnalyzer
extends java.lang.Object

Class to analyze all home marking Home marking is reachable from all of available marking. This class can only analyze bounded net

Version:

Dec 13, 2008

Author:

arya

Constructor Summary

Constructors

Constructor	Description
HomeMarkingAnalyzer()

Method Summary

Modifier and Type	Method	Description
org.processmining.models.graphbased.directed.petrinet.analysis.HomeMarkingSet	analyzeHomeMarkingPetriNet(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.InhibitorNet net, org.processmining.models.semantics.petrinet.Marking state)
org.processmining.models.graphbased.directed.petrinet.analysis.HomeMarkingSet	analyzeHomeMarkingPetriNet(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.InhibitorNet net, org.processmining.models.semantics.petrinet.Marking state, org.processmining.models.graphbased.directed.transitionsystem.ReachabilityGraph reachabilityGraph)
org.processmining.models.graphbased.directed.petrinet.analysis.HomeMarkingSet	analyzeHomeMarkingPetriNet(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.InhibitorNet net, org.processmining.models.semantics.petrinet.Marking state, org.processmining.models.semantics.petrinet.InhibitorNetSemantics semantics)
org.processmining.models.graphbased.directed.petrinet.analysis.HomeMarkingSet	analyzeHomeMarkingPetriNet(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.Petrinet net, org.processmining.models.semantics.petrinet.Marking state)	Variant of net and marking
org.processmining.models.graphbased.directed.petrinet.analysis.HomeMarkingSet	analyzeHomeMarkingPetriNet(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.Petrinet net, org.processmining.models.semantics.petrinet.Marking state, org.processmining.models.graphbased.directed.transitionsystem.ReachabilityGraph reachabilityGraph)	variants with net, marking, and reachability graph
org.processmining.models.graphbased.directed.petrinet.analysis.HomeMarkingSet	analyzeHomeMarkingPetriNet(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.Petrinet net, org.processmining.models.semantics.petrinet.Marking state, org.processmining.models.semantics.petrinet.PetrinetSemantics semantics)	Variant with net, marking, and semantics
org.processmining.models.graphbased.directed.petrinet.analysis.HomeMarkingSet	analyzeHomeMarkingPetriNet(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.ResetInhibitorNet net, org.processmining.models.semantics.petrinet.Marking state)
org.processmining.models.graphbased.directed.petrinet.analysis.HomeMarkingSet	analyzeHomeMarkingPetriNet(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.ResetInhibitorNet net, org.processmining.models.semantics.petrinet.Marking state, org.processmining.models.graphbased.directed.transitionsystem.ReachabilityGraph reachabilityGraph)
org.processmining.models.graphbased.directed.petrinet.analysis.HomeMarkingSet	analyzeHomeMarkingPetriNet(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.ResetInhibitorNet net, org.processmining.models.semantics.petrinet.Marking state, org.processmining.models.semantics.petrinet.ResetInhibitorNetSemantics semantics)
org.processmining.models.graphbased.directed.petrinet.analysis.HomeMarkingSet	analyzeHomeMarkingPetriNet(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.ResetNet net, org.processmining.models.semantics.petrinet.Marking state)
org.processmining.models.graphbased.directed.petrinet.analysis.HomeMarkingSet	analyzeHomeMarkingPetriNet(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.ResetNet net, org.processmining.models.semantics.petrinet.Marking state, org.processmining.models.graphbased.directed.transitionsystem.ReachabilityGraph reachabilityGraph)
org.processmining.models.graphbased.directed.petrinet.analysis.HomeMarkingSet	analyzeHomeMarkingPetriNet(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.ResetNet net, org.processmining.models.semantics.petrinet.Marking state, org.processmining.models.semantics.petrinet.ResetNetSemantics semantics)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

HomeMarkingAnalyzer

public HomeMarkingAnalyzer()

Method Detail

analyzeHomeMarkingPetriNet

public org.processmining.models.graphbased.directed.petrinet.analysis.HomeMarkingSet analyzeHomeMarkingPetriNet(org.processmining.framework.plugin.PluginContext context,
                                                                                                                org.processmining.models.graphbased.directed.petrinet.Petrinet net,
                                                                                                                org.processmining.models.semantics.petrinet.Marking state)
                                                                                                         throws org.processmining.framework.connections.ConnectionCannotBeObtained

Variant of net and marking

Throws:

org.processmining.framework.connections.ConnectionCannotBeObtained

analyzeHomeMarkingPetriNet

public org.processmining.models.graphbased.directed.petrinet.analysis.HomeMarkingSet analyzeHomeMarkingPetriNet(org.processmining.framework.plugin.PluginContext context,
                                                                                                                org.processmining.models.graphbased.directed.petrinet.InhibitorNet net,
                                                                                                                org.processmining.models.semantics.petrinet.Marking state)
                                                                                                         throws org.processmining.framework.connections.ConnectionCannotBeObtained

Throws:

org.processmining.framework.connections.ConnectionCannotBeObtained

analyzeHomeMarkingPetriNet

public org.processmining.models.graphbased.directed.petrinet.analysis.HomeMarkingSet analyzeHomeMarkingPetriNet(org.processmining.framework.plugin.PluginContext context,
                                                                                                                org.processmining.models.graphbased.directed.petrinet.ResetNet net,
                                                                                                                org.processmining.models.semantics.petrinet.Marking state)
                                                                                                         throws org.processmining.framework.connections.ConnectionCannotBeObtained

Throws:

org.processmining.framework.connections.ConnectionCannotBeObtained

analyzeHomeMarkingPetriNet

public org.processmining.models.graphbased.directed.petrinet.analysis.HomeMarkingSet analyzeHomeMarkingPetriNet(org.processmining.framework.plugin.PluginContext context,
                                                                                                                org.processmining.models.graphbased.directed.petrinet.ResetInhibitorNet net,
                                                                                                                org.processmining.models.semantics.petrinet.Marking state)
                                                                                                         throws org.processmining.framework.connections.ConnectionCannotBeObtained

Throws:

org.processmining.framework.connections.ConnectionCannotBeObtained

analyzeHomeMarkingPetriNet

public org.processmining.models.graphbased.directed.petrinet.analysis.HomeMarkingSet analyzeHomeMarkingPetriNet(org.processmining.framework.plugin.PluginContext context,
                                                                                                                org.processmining.models.graphbased.directed.petrinet.Petrinet net,
                                                                                                                org.processmining.models.semantics.petrinet.Marking state,
                                                                                                                org.processmining.models.semantics.petrinet.PetrinetSemantics semantics)
                                                                                                         throws org.processmining.framework.connections.ConnectionCannotBeObtained

Variant with net, marking, and semantics

Throws:

org.processmining.framework.connections.ConnectionCannotBeObtained

analyzeHomeMarkingPetriNet

public org.processmining.models.graphbased.directed.petrinet.analysis.HomeMarkingSet analyzeHomeMarkingPetriNet(org.processmining.framework.plugin.PluginContext context,
                                                                                                                org.processmining.models.graphbased.directed.petrinet.InhibitorNet net,
                                                                                                                org.processmining.models.semantics.petrinet.Marking state,
                                                                                                                org.processmining.models.semantics.petrinet.InhibitorNetSemantics semantics)
                                                                                                         throws org.processmining.framework.connections.ConnectionCannotBeObtained

Throws:

org.processmining.framework.connections.ConnectionCannotBeObtained

analyzeHomeMarkingPetriNet

public org.processmining.models.graphbased.directed.petrinet.analysis.HomeMarkingSet analyzeHomeMarkingPetriNet(org.processmining.framework.plugin.PluginContext context,
                                                                                                                org.processmining.models.graphbased.directed.petrinet.ResetNet net,
                                                                                                                org.processmining.models.semantics.petrinet.Marking state,
                                                                                                                org.processmining.models.semantics.petrinet.ResetNetSemantics semantics)
                                                                                                         throws org.processmining.framework.connections.ConnectionCannotBeObtained

Throws:

org.processmining.framework.connections.ConnectionCannotBeObtained

analyzeHomeMarkingPetriNet

public org.processmining.models.graphbased.directed.petrinet.analysis.HomeMarkingSet analyzeHomeMarkingPetriNet(org.processmining.framework.plugin.PluginContext context,
                                                                                                                org.processmining.models.graphbased.directed.petrinet.ResetInhibitorNet net,
                                                                                                                org.processmining.models.semantics.petrinet.Marking state,
                                                                                                                org.processmining.models.semantics.petrinet.ResetInhibitorNetSemantics semantics)
                                                                                                         throws org.processmining.framework.connections.ConnectionCannotBeObtained

Throws:

org.processmining.framework.connections.ConnectionCannotBeObtained

analyzeHomeMarkingPetriNet

public org.processmining.models.graphbased.directed.petrinet.analysis.HomeMarkingSet analyzeHomeMarkingPetriNet(org.processmining.framework.plugin.PluginContext context,
                                                                                                                org.processmining.models.graphbased.directed.petrinet.Petrinet net,
                                                                                                                org.processmining.models.semantics.petrinet.Marking state,
                                                                                                                org.processmining.models.graphbased.directed.transitionsystem.ReachabilityGraph reachabilityGraph)
                                                                                                         throws org.processmining.framework.connections.ConnectionCannotBeObtained

variants with net, marking, and reachability graph

Throws:

org.processmining.framework.connections.ConnectionCannotBeObtained

analyzeHomeMarkingPetriNet

public org.processmining.models.graphbased.directed.petrinet.analysis.HomeMarkingSet analyzeHomeMarkingPetriNet(org.processmining.framework.plugin.PluginContext context,
                                                                                                                org.processmining.models.graphbased.directed.petrinet.InhibitorNet net,
                                                                                                                org.processmining.models.semantics.petrinet.Marking state,
                                                                                                                org.processmining.models.graphbased.directed.transitionsystem.ReachabilityGraph reachabilityGraph)
                                                                                                         throws org.processmining.framework.connections.ConnectionCannotBeObtained

Throws:

org.processmining.framework.connections.ConnectionCannotBeObtained

analyzeHomeMarkingPetriNet

public org.processmining.models.graphbased.directed.petrinet.analysis.HomeMarkingSet analyzeHomeMarkingPetriNet(org.processmining.framework.plugin.PluginContext context,
                                                                                                                org.processmining.models.graphbased.directed.petrinet.ResetNet net,
                                                                                                                org.processmining.models.semantics.petrinet.Marking state,
                                                                                                                org.processmining.models.graphbased.directed.transitionsystem.ReachabilityGraph reachabilityGraph)
                                                                                                         throws org.processmining.framework.connections.ConnectionCannotBeObtained

Throws:

org.processmining.framework.connections.ConnectionCannotBeObtained

analyzeHomeMarkingPetriNet

public org.processmining.models.graphbased.directed.petrinet.analysis.HomeMarkingSet analyzeHomeMarkingPetriNet(org.processmining.framework.plugin.PluginContext context,
                                                                                                                org.processmining.models.graphbased.directed.petrinet.ResetInhibitorNet net,
                                                                                                                org.processmining.models.semantics.petrinet.Marking state,
                                                                                                                org.processmining.models.graphbased.directed.transitionsystem.ReachabilityGraph reachabilityGraph)
                                                                                                         throws org.processmining.framework.connections.ConnectionCannotBeObtained

Throws:

org.processmining.framework.connections.ConnectionCannotBeObtained