Constructor and Description |
---|
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) |
Modifier and Type | Method and Description |
---|---|
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.
|
Constructor and Description |
---|
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.
|
Constructor and Description |
---|
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
|
Modifier and Type | Class and Description |
---|---|
class |
OpenNet |
Modifier and Type | Interface and Description |
---|---|
interface |
InhibitorNet |
interface |
Petrinet |
interface |
ResetInhibitorNet |
interface |
ResetNet |
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 | 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 | Method and Description |
---|---|
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) |
Modifier and Type | Method and Description |
---|---|
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) |
Modifier and Type | Method and Description |
---|---|
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) |
Modifier and Type | Class and Description |
---|---|
class |
ConfigurableResetInhibitorNet
A configurable
ResetInhibitorNet . |
Modifier and Type | Method and Description |
---|---|
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. |
Modifier and Type | Method and Description |
---|---|
abstract void |
ParameterizedIntegerFeature.executeConfiguration(ConfigurablePetrinet<? extends PetrinetGraph> parent) |
Modifier and Type | Class and Description |
---|---|
class |
InhibitorNetImpl |
class |
PetrinetImpl |
class |
ResetInhibitorNetImpl |
class |
ResetNetImpl |
Modifier and Type | Class and Description |
---|---|
class |
PetriNetWithData |
Modifier and Type | Method and Description |
---|---|
static EfficientPetrinetSemantics |
PetrinetSemanticsFactory.regularEfficientPetrinetSemantics(PetrinetGraph net)
Creates a new
EfficientPetrinetSemantics . |
Constructor and Description |
---|
EfficientPetrinetSemanticsImpl(PetrinetGraph net)
Creates the semantics for the supplied
PetrinetGraph and an empty
initial marking. |
EfficientPetrinetSemanticsImpl(PetrinetGraph net,
Marking initialMarking)
Creates the semantics for the supplied
PetrinetGraph and initial
Marking . |
Modifier and Type | Method and Description |
---|---|
LogPetrinetConnection |
LogPetrinetConnectionFactory.connect(org.processmining.contexts.uitopia.UIPluginContext context,
org.deckfour.xes.model.XLog log,
PetrinetGraph net) |
Constructor and Description |
---|
LogPetrinetConnectionFactoryUI(org.deckfour.xes.model.XLog log,
PetrinetGraph net,
java.lang.Object[] availableClassifier) |
Modifier and Type | Method and Description |
---|---|
static Transition |
PetriNetShortCircuiter.shortCircuit(PetrinetGraph net) |
protected javax.swing.JComponent |
PetriNetVisualization.visualizeWithAll(org.processmining.framework.plugin.PluginContext context,
PetrinetGraph n,
Marking m) |
Constructor and Description |
---|
AddGroupHandler(PetrinetGraph net) |
AddTransitionsGroupHandler(PetrinetGraph net) |
CreateConfigurableNet_UI(PetrinetGraph net,
java.util.List<ConfigurableFeatureGroup> groups) |
Constructor and Description |
---|
ConfigurePetriNet_UI(ConfigurablePetrinet<? extends PetrinetGraph> net,
boolean configureAll) |
Modifier and Type | Method and Description |
---|---|
static AddFeatureWizardPage.NetElement[] |
AddFeatureWizardPage.NetElement.getNetElements(PetrinetGraph net) |
Constructor and Description |
---|
ConfigurableFeatureGroup_UI(javax.swing.JComponent root,
PetrinetGraph net,
ConfigurableFeatureGroup group) |
Modifier and Type | Method and Description |
---|---|
Pnml |
Pnml.convertFromNet(PetrinetGraph net,
Marking marking,
java.util.Collection<Marking> finalMarkings,
org.processmining.models.connections.GraphLayoutConnection layout) |
Pnml |
Pnml.convertFromNet(PetrinetGraph net,
Marking marking,
java.util.Collection<Marking> finalMarkings,
java.util.Map<java.lang.String,org.processmining.models.graphbased.AbstractGraphElement> idMap,
org.processmining.models.connections.GraphLayoutConnection layout) |
Pnml |
Pnml.convertFromNet(PetrinetGraph net,
Marking marking,
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 |
Pnml.convertToNet(PetrinetGraph net,
Marking marking,
java.util.Collection<Marking> finalMarkings,
org.processmining.models.connections.GraphLayoutConnection layout) |
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 |
Pnml.setLayout(PetrinetGraph net,
org.processmining.models.connections.GraphLayoutConnection layout) |
Modifier and Type | Method and Description |
---|---|
Pnml |
Pnml.convertFromNet(java.util.Map<PetrinetGraph,Marking> markedNets,
org.processmining.models.connections.GraphLayoutConnection layout) |
Pnml |
Pnml.convertFromNet(java.util.Map<PetrinetGraph,Marking> markedNets,
java.util.Map<PetrinetGraph,java.util.Collection<Marking>> finalMarkedNets,
org.processmining.models.connections.GraphLayoutConnection layout) |
Pnml |
Pnml.convertFromNet(java.util.Map<PetrinetGraph,Marking> markedNets,
java.util.Map<PetrinetGraph,java.util.Collection<Marking>> finalMarkedNets,
org.processmining.models.connections.GraphLayoutConnection layout) |
Modifier and Type | Method and Description |
---|---|
protected void |
PnmlPage.convertArcsFromNet(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,
PnmlPage.PageMap pageMap,
org.processmining.models.connections.GraphLayoutConnection layout) |
protected void |
PnmlPage.convertArcsToNet(PetrinetGraph net,
ExpandableSubNet subNet,
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<?,?>> edgeMap,
java.awt.geom.Point2D.Double displacement,
org.processmining.models.connections.GraphLayoutConnection layout) |
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) |
PnmlNet |
PnmlNet.convertFromNet(PetrinetGraph net,
Marking marking,
java.util.Collection<Marking> netFinalMarkings,
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.Collection<Marking> netFinalMarkings,
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) |
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) |
protected PnmlPage |
PnmlPage.convertGroupsFromNet(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,
PnmlPage.PageMap pageMap,
org.processmining.models.connections.GraphLayoutConnection layout) |
protected void |
PnmlPage.convertGroupsToNet(PetrinetGraph net,
ExpandableSubNet subNet,
java.lang.String label,
Marking marking,
java.util.Map<java.lang.String,Place> placeMap,
java.util.Map<java.lang.String,Transition> transitionMap,
java.awt.geom.Point2D.Double displacement,
boolean createGroup,
org.processmining.models.connections.GraphLayoutConnection layout) |
protected void |
PnmlPage.convertNodesFromNet(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,
PnmlPage.PageMap pageMap,
org.processmining.models.connections.GraphLayoutConnection layout) |
protected void |
PnmlPage.convertNodesToNet(PetrinetGraph net,
ExpandableSubNet subNet,
Marking marking,
java.util.Map<java.lang.String,Place> placeMap,
java.util.Map<java.lang.String,Transition> transitionMap,
java.awt.geom.Point2D.Double displacement,
org.processmining.models.connections.GraphLayoutConnection layout) |
protected void |
PnmlPage.convertRefNodesToNet(PetrinetGraph net,
ExpandableSubNet subNet,
Marking marking,
java.util.Map<java.lang.String,Place> placeMap,
java.util.Map<java.lang.String,Transition> transitionMap) |
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 |
PnmlNet.convertToNet(PetrinetGraph net,
Marking marking,
java.util.Collection<Marking> netFinalMarkings,
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.
|
Modifier and Type | Method and Description |
---|---|
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) |
Modifier and Type | Method and Description |
---|---|
void |
PnmlFinalMarking.convertToNet(PetrinetGraph net,
java.util.Map<java.lang.String,Place> placeMap,
java.util.Collection<Marking> finalMarkings) |
void |
PnmlFinalMarkings.convertToNet(PetrinetGraph net,
java.util.Map<java.lang.String,Place> placeMap,
java.util.Collection<Marking> finalMarkings) |
Modifier and Type | Method and Description |
---|---|
java.lang.Object |
PnmlImportUtils.connectNet(org.processmining.framework.plugin.PluginContext context,
Pnml pnml,
PetrinetGraph net) |