Constructor and Description |
---|
LogPetrinetConnectionImpl(org.deckfour.xes.model.XLog log,
org.deckfour.xes.classification.XEventClasses classes,
ResetNet 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,
ResetNet 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,
ResetNet net,
Marking m) |
static InitialMarkingConnection |
InitialMarkingConnection.markedNetConnectionFactory(org.processmining.framework.plugin.PluginContext context,
ResetNet net,
Marking m) |
Modifier and Type | Class and Description |
---|---|
class |
ResetNetImpl |
Modifier and Type | Method and Description |
---|---|
static ResetNet |
PetrinetFactory.cloneResetNet(ResetNet net) |
static ResetNet |
PetrinetFactory.cloneResetNet(ResetNet net,
java.util.Map<org.processmining.models.graphbased.directed.DirectedGraphElement,org.processmining.models.graphbased.directed.DirectedGraphElement> map) |
static ResetNet |
PetrinetFactory.newResetNet(java.lang.String label) |
Modifier and Type | Method and Description |
---|---|
static ResetNet |
PetrinetFactory.cloneResetNet(ResetNet net) |
static ResetNet |
PetrinetFactory.cloneResetNet(ResetNet net,
java.util.Map<org.processmining.models.graphbased.directed.DirectedGraphElement,org.processmining.models.graphbased.directed.DirectedGraphElement> map) |
static java.lang.Object[] |
ToInhibitorNet.toInhibitorNet(org.processmining.framework.plugin.PluginContext context,
ResetNet net)
Convert ResetInhibitor-net to Inhibitor-net without marking as an input,
produce GUI
|
static java.lang.Object[] |
ToInhibitorNet.toInhibitorNet(org.processmining.framework.plugin.PluginContext context,
ResetNet net,
Marking marking)
Convert ResetInhibitor-net to Inhibitor-net with marking as an input,
produce GUI
|
static java.lang.Object[] |
ToResetInhibitorNet.toResetInhibitorNet(org.processmining.framework.plugin.PluginContext context,
ResetNet net) |
static java.lang.Object[] |
ToResetInhibitorNet.toResetInhibitorNet(org.processmining.framework.plugin.PluginContext context,
ResetNet net,
Marking marking) |
Modifier and Type | Method and Description |
---|---|
static ResetNetSemantics |
PetrinetSemanticsFactory.elementaryResetNetSemantics(java.lang.Class<? extends ResetNet> net) |
static ResetNetSemantics |
PetrinetSemanticsFactory.regularResetNetSemantics(java.lang.Class<? extends ResetNet> net) |
Modifier and Type | Method and Description |
---|---|
javax.swing.JComponent |
PetriNetVisualization.visualize(org.processmining.framework.plugin.PluginContext context,
ResetNet n) |
javax.swing.JComponent |
PetriNetVisualization.visualize(org.processmining.framework.plugin.PluginContext context,
ResetNet n,
Marking m) |
Modifier and Type | Method and Description |
---|---|
void |
PnmlExportNetToEPNML.exportPetriNetToPNMLFile(org.processmining.framework.plugin.PluginContext context,
ResetNet resetNet,
java.io.File file) |
protected void |
PnmlExportNet.exportPetriNetToPNMLOrEPNMLFile(org.processmining.framework.plugin.PluginContext context,
ResetNet resetNet,
java.io.File file,
Pnml.PnmlType type) |