Constructor and Description |
---|
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) |
Modifier and Type | Method and Description |
---|---|
static FinalMarkingConnection |
FinalMarkingConnection.markedNetConnectionFactory(org.processmining.framework.plugin.PluginContext context,
InhibitorNet net,
Marking m) |
static InitialMarkingConnection |
InitialMarkingConnection.markedNetConnectionFactory(org.processmining.framework.plugin.PluginContext context,
InhibitorNet net,
Marking m) |
Modifier and Type | Class and Description |
---|---|
class |
InhibitorNetImpl |
Modifier and Type | Method and Description |
---|---|
static InhibitorNet |
PetrinetFactory.cloneInhibitorNet(InhibitorNet net) |
static InhibitorNet |
PetrinetFactory.cloneInhibitorNet(InhibitorNet net,
java.util.Map<org.processmining.models.graphbased.directed.DirectedGraphElement,org.processmining.models.graphbased.directed.DirectedGraphElement> map) |
static InhibitorNet |
PetrinetFactory.newInhibitorNet(java.lang.String label) |
Modifier and Type | Method and Description |
---|---|
static InhibitorNet |
PetrinetFactory.cloneInhibitorNet(InhibitorNet net) |
static InhibitorNet |
PetrinetFactory.cloneInhibitorNet(InhibitorNet net,
java.util.Map<org.processmining.models.graphbased.directed.DirectedGraphElement,org.processmining.models.graphbased.directed.DirectedGraphElement> map) |
static java.lang.Object[] |
ToResetInhibitorNet.toResetInhibitorNet(org.processmining.framework.plugin.PluginContext context,
InhibitorNet net) |
static java.lang.Object[] |
ToResetInhibitorNet.toResetInhibitorNet(org.processmining.framework.plugin.PluginContext context,
InhibitorNet net,
Marking marking) |
Modifier and Type | Method and Description |
---|---|
static InhibitorNetSemantics |
PetrinetSemanticsFactory.elementaryInhibitorNetSemantics(java.lang.Class<? extends InhibitorNet> net) |
static InhibitorNetSemantics |
PetrinetSemanticsFactory.regularInhibitorNetSemantics(java.lang.Class<? extends InhibitorNet> net) |
Modifier and Type | Method and Description |
---|---|
javax.swing.JComponent |
PetriNetVisualization.visualize(org.processmining.framework.plugin.PluginContext context,
InhibitorNet n) |
javax.swing.JComponent |
PetriNetVisualization.visualize(org.processmining.framework.plugin.PluginContext context,
InhibitorNet n,
Marking m) |
Modifier and Type | Method and Description |
---|---|
void |
PnmlExportNetToEPNML.exportPetriNetToPNMLFile(org.processmining.framework.plugin.PluginContext context,
InhibitorNet inhibitorNet,
java.io.File file) |
protected void |
PnmlExportNet.exportPetriNetToPNMLOrEPNMLFile(org.processmining.framework.plugin.PluginContext context,
InhibitorNet inhibitorNet,
java.io.File file,
Pnml.PnmlType type) |