|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Uses of PetrinetGraph in org.processmining.connections.logmodel |
---|
Constructors in org.processmining.connections.logmodel with parameters of type PetrinetGraph | |
---|---|
LogPetrinetConnectionImpl(org.deckfour.xes.model.XLog log,
org.deckfour.xes.classification.XEventClasses classes,
PetrinetGraph 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,
PetrinetGraph graph,
java.util.Map<Transition,org.deckfour.xes.classification.XEventClass> relations)
|
Uses of PetrinetGraph in org.processmining.models.connections.petrinets |
---|
Methods in org.processmining.models.connections.petrinets with parameters of type PetrinetGraph | |
---|---|
boolean |
PetrinetGraphConnection.isSourceNet(PetrinetGraph net)
return true if this net is the source of the connection. |
boolean |
PetrinetGraphConnection.isTargetNet(PetrinetGraph net)
return true if this net is the source of the connection. |
Constructors in org.processmining.models.connections.petrinets with parameters of type PetrinetGraph | |
---|---|
PetrinetGraphConnection(PetrinetGraph source,
PetrinetGraph target,
java.util.Map<Transition,Transition> transitionMap,
java.util.Map<Place,Place> placeMap)
Connects the two Petri nets through the mappings described in the transitions and place map. |
Uses of PetrinetGraph in org.processmining.models.connections.petrinets.behavioral |
---|
Constructors in org.processmining.models.connections.petrinets.behavioral with parameters of type PetrinetGraph | |
---|---|
AggCGGraphConnection(PetrinetGraph net,
Marking marking,
org.processmining.models.semantics.Semantics<Marking,Transition> semantics,
AggCGGraph aggCGGraph)
|
|
AggTSGraphConnection(PetrinetGraph net,
Marking marking,
org.processmining.models.semantics.Semantics<Marking,Transition> semantics,
AggTSGraph aggTSGraph)
|
|
BehavioralAnalysisInformationConnection(PetrinetGraph net,
Marking marking,
org.processmining.models.semantics.Semantics<Marking,Transition> semantics,
NetAnalysisInformation<?> netAnalysisInformation)
Connection with marking |
|
BoundednessInfoConnection(PetrinetGraph net,
Marking marking,
org.processmining.models.semantics.Semantics<Marking,Transition> semantics,
NetAnalysisInformation.BOUNDEDNESS netAnalysisInformation)
|
|
CoverabilityGraphConnection(PetrinetGraph net,
org.processmining.models.graphbased.directed.transitionsystem.TransitionSystem coverabilityGraph,
Marking marking,
org.processmining.models.semantics.Semantics<Marking,Transition> semantics)
|
|
CoverabilitySetConnection(PetrinetGraph net,
Marking initial,
AbstractMarkingSet<?> marking,
org.processmining.models.semantics.Semantics<Marking,Transition> semantics,
java.lang.String setName)
|
|
DeadMarkingConnection(PetrinetGraph net,
Marking initial,
org.processmining.models.graphbased.directed.transitionsystem.AcceptStateSet acceptingStates,
org.processmining.models.semantics.Semantics<Marking,Transition> semantics)
|
|
DeadTransitionsConnection(PetrinetGraph net,
Marking marking,
org.processmining.models.semantics.Semantics<Marking,Transition> semantics,
DeadTransitionsSet dead)
|
|
FinalMarkingConnection(PetrinetGraph net,
Marking m)
|
|
HomeMarkingConnection(PetrinetGraph net,
Marking initial,
AbstractMarkingSet<?> marking,
org.processmining.models.semantics.Semantics<Marking,Transition> semantics,
java.lang.String setName)
|
|
InitialMarkingConnection(PetrinetGraph net,
Marking m)
|
|
LivenessInfoConnection(PetrinetGraph net,
Marking marking,
org.processmining.models.semantics.Semantics<Marking,Transition> semantics,
NetAnalysisInformation.LIVENESS netAnalysisInformation)
|
|
MarkingsetNetConnection(PetrinetGraph net,
AbstractMarkingSet<?> marking,
org.processmining.models.semantics.Semantics<Marking,Transition> semantics,
java.lang.String setName)
All markings contain only places from the net, i.e. |
|
NonLiveSequencesConnection(PetrinetGraph net,
NonLiveSequences sequences,
Marking marking,
Marking[] allowedFinalMarkings,
org.processmining.models.semantics.Semantics<Marking,Transition> semantics)
|
|
NonLiveTransitionsConnection(PetrinetGraph net,
NonLiveTransitionsSet transitions,
Marking marking,
org.processmining.models.semantics.Semantics<Marking,Transition> semantics)
|
|
ReachabilitySetConnection(PetrinetGraph net,
Marking initial,
AbstractMarkingSet<?> marking,
org.processmining.models.semantics.Semantics<Marking,Transition> semantics,
java.lang.String setName)
|
|
StateSpaceConnection(PetrinetGraph net,
Marking marking,
org.processmining.models.graphbased.directed.transitionsystem.TransitionSystem statespace,
org.processmining.models.semantics.Semantics<Marking,Transition> semantics)
|
|
UnboundedPlacesConnection(PetrinetGraph net,
UnboundedPlacesSet places,
Marking marking,
org.processmining.models.semantics.Semantics<Marking,Transition> semantics)
|
|
UnboundedSequencesConnection(PetrinetGraph net,
UnboundedSequences sequences,
Marking marking,
org.processmining.models.semantics.Semantics<Marking,Transition> semantics)
|
|
UnfoldingNetConnection(PetrinetGraph originalNet,
Marking originalMarking,
org.processmining.models.semantics.Semantics<Marking,Transition> semantics,
PetrinetGraph prefixNet)
connect Petri net to its finite complete prefix |
|
UnfoldingNetConnection(PetrinetGraph originalNet,
Marking originalMarking,
org.processmining.models.semantics.Semantics<Marking,Transition> semantics,
PetrinetGraph prefixNet,
CTMarking prefixMarking)
|
|
UnfoldingNetConnection(PetrinetGraph originalNet,
Marking originalMarking,
org.processmining.models.semantics.Semantics<Marking,Transition> semantics,
PetrinetGraph prefixNet,
Marking prefixMarking)
connect Petri net to its finite complete prefix |
Uses of PetrinetGraph in org.processmining.models.connections.petrinets.structural |
---|
Uses of PetrinetGraph in org.processmining.models.graphbased.directed.opennet |
---|
Classes in org.processmining.models.graphbased.directed.opennet that implement PetrinetGraph | |
---|---|
class |
OpenNet
|
Uses of PetrinetGraph in org.processmining.models.graphbased.directed.petrinet |
---|
Subinterfaces of PetrinetGraph in org.processmining.models.graphbased.directed.petrinet | |
---|---|
interface |
InhibitorNet
|
interface |
Petrinet
|
interface |
ResetInhibitorNet
|
interface |
ResetNet
|
Uses of PetrinetGraph in org.processmining.models.graphbased.directed.petrinet.configurable |
---|
Classes in org.processmining.models.graphbased.directed.petrinet.configurable with type parameters of type PetrinetGraph | |
---|---|
interface |
ConfigurablePetrinet<NetType extends PetrinetGraph>
Configurable Petri net that builds on top of an existing class of Petri nets specified by parameter NetType. |
Subinterfaces of PetrinetGraph in org.processmining.models.graphbased.directed.petrinet.configurable | |
---|---|
interface |
ConfigurablePetrinet<NetType extends PetrinetGraph>
Configurable Petri net that builds on top of an existing class of Petri nets specified by parameter NetType. |
Methods in org.processmining.models.graphbased.directed.petrinet.configurable with parameters of type PetrinetGraph | |
---|---|
static java.util.List<ConfigurableFeatureGroup> |
ConfigurableFeatureGroup.createDefaultFeatureGroups(PetrinetGraph net,
Marking m)
Create default configurable feature groups for all nodes in the net. |
static java.util.List<ConfigurableFeatureGroup> |
ConfigurationUtils.stripFeaturesFromLabels(PetrinetGraph net)
|
Method parameters in org.processmining.models.graphbased.directed.petrinet.configurable with type arguments of type PetrinetGraph | |
---|---|
void |
ConfigurableFeature.executeConfiguration(ConfigurablePetrinet<? extends PetrinetGraph> parent)
Executes the configuration on ConfigurableFeature.getConfiguredElement() . |
void |
ConfigurableFeatureGroup.executeConfiguration(ConfigurablePetrinet<? extends PetrinetGraph> parent)
Executes the configuration for this feature group. |
boolean |
ConfigurableFeature.isStillExecutable(ConfigurablePetrinet<? extends PetrinetGraph> parent)
|
Uses of PetrinetGraph in org.processmining.models.graphbased.directed.petrinet.configurable.elements |
---|
Method parameters in org.processmining.models.graphbased.directed.petrinet.configurable.elements with type arguments of type PetrinetGraph | |
---|---|
void |
ConfigurableArc.executeConfiguration(ConfigurablePetrinet<? extends PetrinetGraph> parent)
Configures the arc of this configurable feature. |
void |
ConfigurableArcWeight.executeConfiguration(ConfigurablePetrinet<? extends PetrinetGraph> parent)
Set the weight of the configurable arc to ConfigurableParameter.getValue() (if > 0) and
remove arc from parent (if == 0) |
void |
ConfigurablePlace.executeConfiguration(ConfigurablePetrinet<? extends PetrinetGraph> parent)
Configures the place of this configurable feature. |
void |
ConfigurablePlaceMarking.executeConfiguration(ConfigurablePetrinet<? extends PetrinetGraph> parent)
Set initial marking of configurable place in its parent net to the configured value. |
void |
ConfigurableTransition.executeConfiguration(ConfigurablePetrinet<? extends PetrinetGraph> parent)
Configures the transition of this configurable feature. |
void |
ParameterizedArc.executeConfiguration(ConfigurablePetrinet<? extends PetrinetGraph> parent)
Set the weight of the configurable arc to ParameterizedIntegerFeature.getValue() (if > 0) and
remove arc from parent (if == 0) |
void |
ParameterizedPlaceMarking.executeConfiguration(ConfigurablePetrinet<? extends PetrinetGraph> parent)
Set initial marking of configurable place in its parent net to the configured value. |
boolean |
ConfigurableArc.isStillExecutable(ConfigurablePetrinet<? extends PetrinetGraph> parent)
|
boolean |
ConfigurableArcWeight.isStillExecutable(ConfigurablePetrinet<? extends PetrinetGraph> parent)
|
boolean |
ConfigurablePlace.isStillExecutable(ConfigurablePetrinet<? extends PetrinetGraph> parent)
|
boolean |
ConfigurablePlaceMarking.isStillExecutable(ConfigurablePetrinet<? extends PetrinetGraph> parent)
|
boolean |
ConfigurableTransition.isStillExecutable(ConfigurablePetrinet<? extends PetrinetGraph> parent)
|
boolean |
ParameterizedArc.isStillExecutable(ConfigurablePetrinet<? extends PetrinetGraph> parent)
|
boolean |
ParameterizedPlaceMarking.isStillExecutable(ConfigurablePetrinet<? extends PetrinetGraph> parent)
|
Uses of PetrinetGraph in org.processmining.models.graphbased.directed.petrinet.configurable.impl |
---|
Classes in org.processmining.models.graphbased.directed.petrinet.configurable.impl that implement PetrinetGraph | |
---|---|
class |
ConfigurableResetInhibitorNet
A configurable ResetInhibitorNet . |
Methods in org.processmining.models.graphbased.directed.petrinet.configurable.impl with parameters of type PetrinetGraph | |
---|---|
static void |
LayoutUtils.setLayout(PetrinetGraph net,
org.processmining.models.connections.GraphLayoutConnection layout)
GraphLayoutConnection.setLayedOut(boolean) based on layout information in the net,
i.e., whether all nodes have a proper position. |
Method parameters in org.processmining.models.graphbased.directed.petrinet.configurable.impl with type arguments of type PetrinetGraph | |
---|---|
abstract void |
ParameterizedIntegerFeature.executeConfiguration(ConfigurablePetrinet<? extends PetrinetGraph> parent)
|
Uses of PetrinetGraph in org.processmining.models.graphbased.directed.petrinet.impl |
---|
Classes in org.processmining.models.graphbased.directed.petrinet.impl that implement PetrinetGraph | |
---|---|
class |
InhibitorNetImpl
|
class |
PetrinetImpl
|
class |
ResetInhibitorNetImpl
|
class |
ResetNetImpl
|
Uses of PetrinetGraph in org.processmining.models.graphbased.directed.petrinetwithdata |
---|
Classes in org.processmining.models.graphbased.directed.petrinetwithdata that implement PetrinetGraph | |
---|---|
class |
PetriNetWithData
|
Uses of PetrinetGraph in org.processmining.plugins.connectionfactories.logpetrinet |
---|
Methods in org.processmining.plugins.connectionfactories.logpetrinet with parameters of type PetrinetGraph | |
---|---|
LogPetrinetConnection |
LogPetrinetConnectionFactory.connect(org.processmining.contexts.uitopia.UIPluginContext context,
org.deckfour.xes.model.XLog log,
PetrinetGraph net)
|
Constructors in org.processmining.plugins.connectionfactories.logpetrinet with parameters of type PetrinetGraph | |
---|---|
LogPetrinetConnectionFactoryUI(org.deckfour.xes.model.XLog log,
PetrinetGraph net,
java.lang.Object[] availableClassifier)
|
Uses of PetrinetGraph in org.processmining.plugins.petrinet |
---|
Methods in org.processmining.plugins.petrinet with parameters of type PetrinetGraph | |
---|---|
static Transition |
PetriNetShortCircuiter.shortCircuit(PetrinetGraph net)
|
Uses of PetrinetGraph in org.processmining.plugins.petrinet.configurable |
---|
Constructors in org.processmining.plugins.petrinet.configurable with parameters of type PetrinetGraph | |
---|---|
CreateConfigurableNet_UI.AddGroupHandler(PetrinetGraph net)
|
|
CreateConfigurableNet_UI.AddTransitionsGroupHandler(PetrinetGraph net)
|
|
CreateConfigurableNet_UI(PetrinetGraph net,
java.util.List<ConfigurableFeatureGroup> groups)
|
Constructor parameters in org.processmining.plugins.petrinet.configurable with type arguments of type PetrinetGraph | |
---|---|
ConfigurePetriNet_UI(ConfigurablePetrinet<? extends PetrinetGraph> net,
boolean configureAll)
|
Uses of PetrinetGraph in org.processmining.plugins.petrinet.configurable.ui |
---|
Methods in org.processmining.plugins.petrinet.configurable.ui with parameters of type PetrinetGraph | |
---|---|
static AddFeatureWizardPage.NetElement[] |
AddFeatureWizardPage.NetElement.getNetElements(PetrinetGraph net)
|
Constructors in org.processmining.plugins.petrinet.configurable.ui with parameters of type PetrinetGraph | |
---|---|
ConfigurableFeatureGroup_UI(javax.swing.JComponent root,
PetrinetGraph net,
ConfigurableFeatureGroup group)
|
Uses of PetrinetGraph in org.processmining.plugins.pnml |
---|
Methods in org.processmining.plugins.pnml with parameters of type PetrinetGraph | |
---|---|
PnmlTransition |
PnmlTransition.convertFromNet(PetrinetGraph net,
ExpandableSubNet parent,
Transition element,
java.util.Map<org.processmining.framework.util.Pair<org.processmining.models.graphbased.AbstractGraphElement,ExpandableSubNet>,java.lang.String> idMap,
org.processmining.models.connections.GraphLayoutConnection layout)
|
PnmlPage |
PnmlPage.convertFromNet(PetrinetGraph net,
Marking marking,
ExpandableSubNet parent,
ExpandableSubNet element,
java.util.Map<org.processmining.framework.util.Pair<org.processmining.models.graphbased.AbstractGraphElement,ExpandableSubNet>,java.lang.String> idMap,
org.processmining.models.connections.GraphLayoutConnection layout)
|
Pnml |
Pnml.convertFromNet(PetrinetGraph net,
Marking marking,
org.processmining.models.connections.GraphLayoutConnection layout)
|
PnmlNet |
PnmlNet.convertFromNet(PetrinetGraph net,
Marking marking,
java.util.Map<org.processmining.framework.util.Pair<org.processmining.models.graphbased.AbstractGraphElement,ExpandableSubNet>,java.lang.String> idMap,
int id,
org.processmining.models.connections.GraphLayoutConnection layout)
|
PnmlNet |
PnmlNet.convertFromNet(PetrinetGraph net,
Marking marking,
java.util.Map<org.processmining.framework.util.Pair<org.processmining.models.graphbased.AbstractGraphElement,ExpandableSubNet>,java.lang.String> idMap,
int id,
java.util.Map<java.lang.String,org.processmining.models.graphbased.AbstractGraphElement> map,
org.processmining.models.connections.GraphLayoutConnection layout)
|
Pnml |
Pnml.convertFromNet(PetrinetGraph net,
Marking marking,
java.util.Map<java.lang.String,org.processmining.models.graphbased.AbstractGraphElement> idMap,
org.processmining.models.connections.GraphLayoutConnection layout)
|
void |
PnmlPage.convertToNet(PetrinetGraph net,
ExpandableSubNet subNet,
int pageCtr,
Marking marking,
java.util.Map<java.lang.String,Place> placeMap,
java.util.Map<java.lang.String,Transition> transitionMap,
java.util.Map<java.lang.String,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> edgeMap,
java.awt.geom.Point2D.Double displacement,
boolean createGroup,
org.processmining.models.connections.GraphLayoutConnection layout)
Converts this page to a Petri net. |
void |
PnmlReferencePlace.convertToNet(PetrinetGraph net,
ExpandableSubNet subNet,
java.util.Map<java.lang.String,Place> map)
Converts this reference place to a regular Petri net place. |
void |
PnmlArc.convertToNet(PetrinetGraph net,
ExpandableSubNet subNet,
java.util.Map<java.lang.String,Place> placeMap,
java.util.Map<java.lang.String,Transition> transitionMap,
java.util.Map<java.lang.String,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> edgeMap,
java.awt.geom.Point2D.Double displacement,
org.processmining.models.connections.GraphLayoutConnection layout)
Converts this PNML arc to a regular Petri net arc. |
void |
PnmlReferenceTransition.convertToNet(PetrinetGraph net,
ExpandableSubNet subNet,
java.util.Map<java.lang.String,Transition> map)
Converts this reference transition object to a regular Petri net transition. |
void |
PnmlTransition.convertToNet(PetrinetGraph net,
ExpandableSubNet subNet,
java.util.Map<java.lang.String,Transition> map,
java.awt.geom.Point2D.Double displacement,
org.processmining.models.connections.GraphLayoutConnection layout)
Converts this transition to a Petri net transition. |
void |
PnmlPlace.convertToNet(PetrinetGraph net,
ExpandableSubNet subNet,
Marking marking,
java.util.Map<java.lang.String,Place> map,
java.awt.geom.Point2D.Double displacement,
org.processmining.models.connections.GraphLayoutConnection layout)
Converts this place to a Petri net place. |
void |
Pnml.convertToNet(PetrinetGraph net,
Marking marking,
org.processmining.models.connections.GraphLayoutConnection layout)
Converts the PNML object to a Petri net and initial marking. |
void |
PnmlNet.convertToNet(PetrinetGraph net,
Marking marking,
java.util.Map<java.lang.String,Place> placeMap,
java.util.Map<java.lang.String,Transition> transitionMap,
java.util.Map<java.lang.String,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> edgeMap,
org.processmining.models.connections.GraphLayoutConnection layout)
Convert this net to a Petri net. |
void |
Pnml.setLayout(PetrinetGraph net,
org.processmining.models.connections.GraphLayoutConnection layout)
|
Method parameters in org.processmining.plugins.pnml with type arguments of type PetrinetGraph | |
---|---|
Pnml |
Pnml.convertFromNet(java.util.Map<PetrinetGraph,Marking> markedNets,
org.processmining.models.connections.GraphLayoutConnection layout)
|
Uses of PetrinetGraph in org.processmining.plugins.pnml.extensions.configurations |
---|
Methods in org.processmining.plugins.pnml.extensions.configurations with parameters of type PetrinetGraph | |
---|---|
void |
PnmlFeature.convertToNet(PetrinetGraph net,
ConfigurableFeatureGroup group,
java.util.Map<java.lang.String,Place> placeMap,
java.util.Map<java.lang.String,Transition> transitionMap,
java.util.Map<java.lang.String,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> edgeMap)
|
void |
PnmlConfiguration.convertToNet(PetrinetGraph net,
java.util.Map<java.lang.String,Place> placeMap,
java.util.Map<java.lang.String,Transition> transitionMap,
java.util.Map<java.lang.String,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> edgeMap)
|
void |
PnmlGroup.convertToNet(PetrinetGraph net,
java.util.Map<java.lang.String,Place> placeMap,
java.util.Map<java.lang.String,Transition> transitionMap,
java.util.Map<java.lang.String,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> edgeMap)
|
Uses of PetrinetGraph in org.processmining.plugins.pnml.importing |
---|
Methods in org.processmining.plugins.pnml.importing with parameters of type PetrinetGraph | |
---|---|
java.lang.Object |
PnmlImportUtils.connectNet(org.processmining.framework.plugin.PluginContext context,
Pnml pnml,
PetrinetGraph net)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |