public class CGGenerator
extends java.lang.Object
Constructor and Description |
---|
CGGenerator() |
Modifier and Type | Method and Description |
---|---|
org.processmining.models.graphbased.directed.transitionsystem.CoverabilityGraph |
doBreadthFirst(org.processmining.framework.plugin.PluginContext context,
java.lang.String label,
org.processmining.models.semantics.petrinet.CTMarking state,
org.processmining.models.semantics.Semantics<org.processmining.models.semantics.petrinet.Marking,org.processmining.models.graphbased.directed.petrinet.elements.Transition> semantics)
Build a coverability graph from initial state with breadth-first approach
|
static org.processmining.models.graphbased.directed.transitionsystem.CoverabilityGraph |
getCoverabilityGraph(org.processmining.models.graphbased.directed.petrinet.InhibitorNet net,
org.processmining.models.semantics.petrinet.Marking initial,
org.processmining.models.semantics.Semantics<org.processmining.models.semantics.petrinet.Marking,org.processmining.models.graphbased.directed.petrinet.elements.Transition> semantics) |
static org.processmining.models.graphbased.directed.transitionsystem.CoverabilityGraph |
getCoverabilityGraph(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
org.processmining.models.semantics.petrinet.Marking initial,
org.processmining.models.semantics.Semantics<org.processmining.models.semantics.petrinet.Marking,org.processmining.models.graphbased.directed.petrinet.elements.Transition> semantics) |
java.lang.Object[] |
inhibitorNetToCoverabilityGraph(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.InhibitorNet net,
org.processmining.models.semantics.petrinet.Marking state) |
java.lang.Object[] |
inhibitorNetToCoverabilityGraph(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) |
java.lang.Object[] |
petrinetetToCoverabilityGraph(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) |
java.lang.Object[] |
petriNetToCoverabilityGraph(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.Petrinet net,
org.processmining.models.semantics.petrinet.Marking state) |
public java.lang.Object[] petriNetToCoverabilityGraph(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
org.processmining.framework.connections.ConnectionCannotBeObtained
public java.lang.Object[] inhibitorNetToCoverabilityGraph(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
org.processmining.framework.connections.ConnectionCannotBeObtained
public java.lang.Object[] petrinetetToCoverabilityGraph(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
org.processmining.framework.connections.ConnectionCannotBeObtained
public java.lang.Object[] inhibitorNetToCoverabilityGraph(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
org.processmining.framework.connections.ConnectionCannotBeObtained
public static org.processmining.models.graphbased.directed.transitionsystem.CoverabilityGraph getCoverabilityGraph(org.processmining.models.graphbased.directed.petrinet.Petrinet net, org.processmining.models.semantics.petrinet.Marking initial, org.processmining.models.semantics.Semantics<org.processmining.models.semantics.petrinet.Marking,org.processmining.models.graphbased.directed.petrinet.elements.Transition> semantics)
public static org.processmining.models.graphbased.directed.transitionsystem.CoverabilityGraph getCoverabilityGraph(org.processmining.models.graphbased.directed.petrinet.InhibitorNet net, org.processmining.models.semantics.petrinet.Marking initial, org.processmining.models.semantics.Semantics<org.processmining.models.semantics.petrinet.Marking,org.processmining.models.graphbased.directed.petrinet.elements.Transition> semantics)
public org.processmining.models.graphbased.directed.transitionsystem.CoverabilityGraph doBreadthFirst(org.processmining.framework.plugin.PluginContext context, java.lang.String label, org.processmining.models.semantics.petrinet.CTMarking state, org.processmining.models.semantics.Semantics<org.processmining.models.semantics.petrinet.Marking,org.processmining.models.graphbased.directed.petrinet.elements.Transition> semantics)
context
- context of the netlabel
- label of the netstate
- Initial state (initial marking)semantics
- semantics obtained from initial state