Constructor and Description |
---|
LogPetrinetConnectionImpl(org.deckfour.xes.model.XLog log,
org.deckfour.xes.classification.XEventClasses classes,
Petrinet 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,
Petrinet graph,
java.util.Map<Transition,org.deckfour.xes.classification.XEventClass> relations) |
Constructor and Description |
---|
OpenNetConnection(Petrinet net,
OpenNet openNet) |
Modifier and Type | Method and Description |
---|---|
static FinalMarkingConnection |
FinalMarkingConnection.markedNetConnectionFactory(org.processmining.framework.plugin.PluginContext context,
Petrinet net,
Marking m) |
static InitialMarkingConnection |
InitialMarkingConnection.markedNetConnectionFactory(org.processmining.framework.plugin.PluginContext context,
Petrinet net,
Marking m) |
Constructor and Description |
---|
NonRelaxedSoundTransitionsConnection(Petrinet net,
Marking marking,
org.processmining.models.semantics.Semantics<Marking,Transition> semantics,
NonRelaxedSoundTransitionsSet causalNonRelaxedSoundTransitions) |
RelaxedSoundessInfoConnection(Petrinet net,
Marking marking,
org.processmining.models.semantics.Semantics<Marking,Transition> semantics,
NetAnalysisInformation.RELAXEDSOUND netAnalysisInformation) |
Modifier and Type | Method and Description |
---|---|
static PetriNetList |
PetriNetListFactory.createPetriNetList(Petrinet... nets)
Deprecated.
|
Modifier and Type | Class and Description |
---|---|
class |
OpenNet |
Modifier and Type | Method and Description |
---|---|
static Place |
WorkflowNetUtils.getInputPlace(Petrinet net)
Returns the input place of this net.
|
static Place |
WorkflowNetUtils.getOutputPlace(Petrinet net)
Returns the output place of this net.
|
static java.util.SortedSet<Place> |
WorkflowNetUtils.getSinkPlaces(Petrinet net)
Returns the set of sink places of this net.
|
static java.util.SortedSet<Place> |
WorkflowNetUtils.getSourcePlaces(Petrinet net)
Returns the set of source places of this net.
|
static java.util.SortedSet<PetrinetNode> |
WorkflowNetUtils.getUnconnectedNodes(Petrinet net)
Returns the set of unconnected nodes of this net.
|
static boolean |
WorkflowNetUtils.isValidWFNet(Petrinet net)
This method checks whether:
1) There is exactly one input place,
2) there is exactly one output place,
3) all nodes are on a path from the input place to the output place.
|
static java.lang.Object[] |
WorkflowNetUtils.shortCircuit(org.processmining.framework.plugin.PluginContext context,
Petrinet net) |
Modifier and Type | Interface and Description |
---|---|
interface |
ConfigurablePetrinet<NetType extends PetrinetGraph>
Configurable Petri net that builds on top of an existing class of Petri nets specified
by parameter NetType.
|
Modifier and Type | Class and Description |
---|---|
class |
ConfigurableResetInhibitorNet
A configurable
ResetInhibitorNet . |
Modifier and Type | Class and Description |
---|---|
class |
PetrinetImpl |
Modifier and Type | Method and Description |
---|---|
static Petrinet |
PetrinetFactory.clonePetrinet(Petrinet net) |
static Petrinet |
PetrinetFactory.clonePetrinet(Petrinet net,
java.util.Map<org.processmining.models.graphbased.directed.DirectedGraphElement,org.processmining.models.graphbased.directed.DirectedGraphElement> map) |
static Petrinet |
PetrinetFactory.newPetrinet(java.lang.String label) |
Modifier and Type | Method and Description |
---|---|
static Petrinet |
PetrinetFactory.clonePetrinet(Petrinet net) |
static Petrinet |
PetrinetFactory.clonePetrinet(Petrinet net,
java.util.Map<org.processmining.models.graphbased.directed.DirectedGraphElement,org.processmining.models.graphbased.directed.DirectedGraphElement> map) |
static java.lang.Object[] |
ToInhibitorNet.fromPetrinet(org.processmining.framework.plugin.PluginContext context,
Petrinet net) |
static java.lang.Object[] |
ToResetInhibitorNet.fromPetrinet(org.processmining.framework.plugin.PluginContext context,
Petrinet net) |
static java.lang.Object[] |
ToResetNet.fromPetrinet(org.processmining.framework.plugin.PluginContext context,
Petrinet net) |
static java.lang.Object[] |
ToInhibitorNet.fromPetrinet(org.processmining.framework.plugin.PluginContext context,
Petrinet net,
Marking marking) |
static java.lang.Object[] |
ToResetInhibitorNet.fromPetrinet(org.processmining.framework.plugin.PluginContext context,
Petrinet net,
Marking marking) |
static java.lang.Object[] |
ToResetNet.fromPetrinet(org.processmining.framework.plugin.PluginContext context,
Petrinet net,
Marking marking) |
Modifier and Type | Class and Description |
---|---|
class |
PetriNetWithData |
Modifier and Type | Method and Description |
---|---|
static PetrinetSemantics |
PetrinetSemanticsFactory.elementaryPetrinetSemantics(java.lang.Class<? extends Petrinet> net) |
static PetrinetSemantics |
PetrinetSemanticsFactory.regularPetrinetSemantics(java.lang.Class<? extends Petrinet> net) |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
ExportCpnXmlAlgorithm.apply(Petrinet net,
org.processmining.models.connections.GraphLayoutConnection layout,
Marking marking,
java.lang.String name) |
Modifier and Type | Method and Description |
---|---|
static java.lang.Double |
GraphEditDistanceSimilarityPlugin.calculatePetrinetDefaultAB(Petrinet modelA,
Petrinet modelB,
GraphEditDistanceSimilarityParameters params) |
static java.lang.Double |
GraphEditDistanceSimilarityPlugin.calculatePetrinetDefaultAB(org.processmining.framework.plugin.PluginContext context,
Petrinet modelA,
Petrinet modelB) |
static java.lang.Double |
GraphEditDistanceSimilarityPlugin.calculatePetrinetDefaultAB(org.processmining.contexts.uitopia.UIPluginContext context,
Petrinet modelA,
Petrinet modelB) |
Modifier and Type | Method and Description |
---|---|
static PetriNetList |
PetriNetListFactory.createPetriNetList(Petrinet... nets)
Deprecated.
|
Modifier and Type | Method and Description |
---|---|
static PetriNetList |
PetriNetListFactory.createPetriNetList(Petrinet... nets) |
Modifier and Type | Method and Description |
---|---|
static PetriNetList |
CreatePetriNetListPlugin.runPlugin(Petrinet... nets) |
static PetriNetList |
CreatePetriNetListPlugin.runPlugin(org.processmining.framework.plugin.PluginContext context,
Petrinet... nets) |
Modifier and Type | Method and Description |
---|---|
void |
ExportCpnXmlPlugin.export(org.processmining.framework.plugin.PluginContext context,
Petrinet net,
java.io.File file) |
Modifier and Type | Method and Description |
---|---|
static void |
PetriNetUtils.addFinalMarking(org.processmining.framework.plugin.PluginContext context,
Petrinet net,
Marking marking) |
static void |
PetriNetUtils.addInitialMarking(org.processmining.framework.plugin.PluginContext context,
Petrinet net,
Marking marking) |
static Marking[] |
PetriNetUtils.getFinalMarkings(org.processmining.framework.plugin.PluginContext context,
Petrinet net) |
static Marking[] |
PetriNetUtils.getInitialMarkings(org.processmining.framework.plugin.PluginContext context,
Petrinet net) |
static int |
PetriNetUtils.getNumberOfFinalMarkgins(org.processmining.framework.plugin.PluginContext context,
Petrinet net) |
static int |
PetriNetUtils.getNumberOfInitialMarkings(org.processmining.framework.plugin.PluginContext context,
Petrinet net) |
static boolean |
PetriNetUtils.hasInitialMarkings(org.processmining.framework.plugin.PluginContext context,
Petrinet net) |
static boolean |
PetriNetUtils.hasNumberOfFinalMarkgins(org.processmining.framework.plugin.PluginContext context,
Petrinet net) |
Modifier and Type | Method and Description |
---|---|
javax.swing.JComponent |
PetriNetVisualization.visualize(org.processmining.framework.plugin.PluginContext context,
Petrinet n) |
javax.swing.JComponent |
PetriNetVisualization.visualize(org.processmining.framework.plugin.PluginContext context,
Petrinet n,
Marking m) |
Modifier and Type | Method and Description |
---|---|
void |
TpnParser.Place(Petrinet net) |
void |
TpnParser.start(Petrinet net) |
void |
TpnParser.Trans(Petrinet net) |
Modifier and Type | Method and Description |
---|---|
void |
PnmlExportNetToEPNML.exportPetriNetToEPNMLFile(org.processmining.framework.plugin.PluginContext context,
Petrinet net,
java.io.File file) |
void |
PnmlExportNetToPNML.exportPetriNetToPNMLFile(org.processmining.framework.plugin.PluginContext context,
Petrinet net,
java.io.File file) |
protected void |
PnmlExportNet.exportPetriNetToPNMLOrEPNMLFile(org.processmining.framework.plugin.PluginContext context,
Petrinet net,
java.io.File file,
Pnml.PnmlType type) |
java.lang.String |
PnmlExportNet.exportPetriNetToPNMLOrEPNMLString(org.processmining.framework.plugin.PluginContext context,
Petrinet net,
Pnml.PnmlType type,
boolean xmlTag) |
Modifier and Type | Method and Description |
---|---|
static Petrinet |
RemoveUnconnectedNodesPlugin.apply(Petrinet net)
Context-unaware version, does not allow us to find markings!
|
static Petrinet |
RemoveUnconnectedNodesPlugin.apply(org.processmining.contexts.uitopia.UIPluginContext context,
Petrinet net) |
Modifier and Type | Method and Description |
---|---|
static Petrinet |
RemoveUnconnectedNodesPlugin.apply(Petrinet net)
Context-unaware version, does not allow us to find markings!
|
static Petrinet |
RemoveUnconnectedNodesPlugin.apply(org.processmining.contexts.uitopia.UIPluginContext context,
Petrinet net) |