|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Uses of Petrinet in org.processmining.connections.logmodel |
---|
Constructors in org.processmining.connections.logmodel with parameters of type Petrinet | |
---|---|
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)
|
Uses of Petrinet in org.processmining.models.connections.opennet |
---|
Constructors in org.processmining.models.connections.opennet with parameters of type Petrinet | |
---|---|
OpenNetConnection(Petrinet net,
OpenNet openNet)
|
Uses of Petrinet in org.processmining.models.connections.petrinets.behavioral |
---|
Methods in org.processmining.models.connections.petrinets.behavioral with parameters of type Petrinet | |
---|---|
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)
|
Constructors in org.processmining.models.connections.petrinets.behavioral with parameters of type Petrinet | |
---|---|
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)
|
Uses of Petrinet in org.processmining.models.graphbased.directed.opennet |
---|
Classes in org.processmining.models.graphbased.directed.opennet that implement Petrinet | |
---|---|
class |
OpenNet
|
Uses of Petrinet in org.processmining.models.graphbased.directed.petrinet.analysis |
---|
Methods in org.processmining.models.graphbased.directed.petrinet.analysis with parameters of type Petrinet | |
---|---|
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)
|
Uses of Petrinet in org.processmining.models.graphbased.directed.petrinet.impl |
---|
Classes in org.processmining.models.graphbased.directed.petrinet.impl that implement Petrinet | |
---|---|
class |
PetrinetImpl
|
Methods in org.processmining.models.graphbased.directed.petrinet.impl that return Petrinet | |
---|---|
static Petrinet |
PetrinetFactory.clonePetrinet(Petrinet net)
|
static Petrinet |
PetrinetFactory.newPetrinet(java.lang.String label)
|
Methods in org.processmining.models.graphbased.directed.petrinet.impl with parameters of type Petrinet | |
---|---|
static Petrinet |
PetrinetFactory.clonePetrinet(Petrinet net)
|
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)
|
Uses of Petrinet in org.processmining.models.graphbased.directed.petrinetwithdata |
---|
Classes in org.processmining.models.graphbased.directed.petrinetwithdata that implement Petrinet | |
---|---|
class |
PetriNetWithData
|
Uses of Petrinet in org.processmining.models.semantics.petrinet.impl |
---|
Method parameters in org.processmining.models.semantics.petrinet.impl with type arguments of type Petrinet | |
---|---|
static PetrinetSemantics |
PetrinetSemanticsFactory.elementaryPetrinetSemantics(java.lang.Class<? extends Petrinet> net)
|
static PetrinetSemantics |
PetrinetSemanticsFactory.regularPetrinetSemantics(java.lang.Class<? extends Petrinet> net)
|
Uses of Petrinet in org.processmining.plugins.petrinet |
---|
Methods in org.processmining.plugins.petrinet with parameters of type Petrinet | |
---|---|
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)
|
Uses of Petrinet in org.processmining.plugins.petrinet.importing.tpn |
---|
Methods in org.processmining.plugins.petrinet.importing.tpn with parameters of type Petrinet | |
---|---|
void |
TpnParser.Place(Petrinet net)
|
void |
TpnParser.start(Petrinet net)
|
void |
TpnParser.Trans(Petrinet net)
|
Uses of Petrinet in org.processmining.plugins.pnml.exporting |
---|
Methods in org.processmining.plugins.pnml.exporting with parameters of type Petrinet | |
---|---|
void |
PnmlExportNetToEPNML.exportPetriNetToEPNMLFile(org.processmining.contexts.uitopia.UIPluginContext context,
Petrinet net,
java.io.File file)
|
void |
PnmlExportNetToPNML.exportPetriNetToPNMLFile(org.processmining.contexts.uitopia.UIPluginContext context,
Petrinet net,
java.io.File file)
|
protected void |
PnmlExportNet.exportPetriNetToPNMLOrEPNMLFile(org.processmining.contexts.uitopia.UIPluginContext context,
Petrinet net,
java.io.File file,
Pnml.PnmlType type)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |