|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.processmining.exporting.petrinet.cpnexport.HLToCPNTranslator
public class HLToCPNTranslator
Translates the high-level information to the CPN-specific Petri net that can be immedeately written to a .cpn file.
Field Summary | |
---|---|
static java.lang.String |
cpnColorSetNameForCaseId
|
static java.lang.String |
cpnColorSetNameForDataAttributes
|
static java.lang.String |
cpnColorSetNameForGroupAllResources
|
static java.lang.String |
cpnColorSetNameForGroupAllResourcesWithNobody
|
static java.lang.String |
cpnColorSetNameForNobodyGroup
|
static java.lang.String |
cpnColorSetNameForProbDep
|
static java.lang.String |
cpnColorSetNameForStartCase
|
static java.lang.String |
cpnVarNameForCaseId
|
static java.lang.String |
cpnVarNameForDataAttributes
|
static java.lang.String |
cpnVarNameForGroupAllResources
|
static java.lang.String |
cpnVarNameForGroupAllResourcesWithNobody
|
static java.lang.String |
cpnVarNameForModifiedDataAttributes
|
static java.lang.String |
cpnVarNameForNobodyGroup
|
static java.lang.String |
cpnVarNameForProbDep
|
static java.lang.String |
cpnVarNameForStartCase
|
Constructor Summary | |
---|---|
HLToCPNTranslator(HLPetriNet hlPN,
ColoredPetriNet simPN)
Default constructor |
Method Summary | |
---|---|
org.processmining.exporting.petrinet.cpnexport.CpnFunction |
generateRandomFunctionForDataAttribute(HighLevelDataAttribute dataAttr)
Returns the declaration of a function that can be used in cpn for generating random values (between some range) for the given data attribute. |
IntegerColorSet |
getColorSetCaseID()
Returns the cpn color set representation for the case id. |
CpnColorSet |
getColorSetDataAttribute(HighLevelDataAttribute attrib)
Returns the cpn color set representation for this data attribute |
CpnColorSet |
getColorSetDataAttributes()
Returns the cpn color set representation for the color set in cpn that has to represent all separate data attributes |
SubSetColorSet |
getColorSetForResourcesPlace()
Returns the cpn color set representation that has to be assigned to the resources places in the cpn net. |
SubSetColorSet |
getColorSetGroup(HighLevelGroup g)
Returns the corresponding cpn color set representation for the given group |
java.util.ArrayList<SubSetColorSet> |
getColorSetsGroups()
Returns the cpn color set representation for all groups that can be found in the highlevelprocess and in the highlevelactivities |
java.util.ArrayList<CpnColorSet> |
getColorSetsSeparateDataAttributes()
Return the corresponding cpn color set representation for each separate data attribute that can be found in the high level process and the high level activities |
StringColorSet |
getColorSetStartCase()
Returns the cpn color set representation for the start case. |
java.lang.String |
getCpnIdMonitorTroughputTime()
Retrieves the cpn id of the transition to which the monitor is attached that calculates the throughput time for each case |
org.processmining.exporting.petrinet.cpnexport.CpnVarAndType |
getCpnVarForCaseId()
Returns the cpn variable and type for the variable that has to represent \ the case id in cpn. |
org.processmining.exporting.petrinet.cpnexport.CpnVarAndType |
getCpnVarForDataAttribute(HighLevelDataAttribute attrib)
Returns the cpn variable and type for the variable that has to represent the given data attribute |
org.processmining.exporting.petrinet.cpnexport.CpnVarAndType |
getCpnVarForDataAttributes()
Returns the cpn variable and type that has to represent the variable for the data attributes in cpn |
org.processmining.exporting.petrinet.cpnexport.CpnVarAndType |
getCpnVarForGroup(HighLevelGroup g)
Returns the cpn variable and type for the given group |
org.processmining.exporting.petrinet.cpnexport.CpnVarAndType |
getCpnVarForGroupAllResources()
Returns the cpn variable and type for the variable in cpn that has to represent the group that contains each resource that can be found in the high level process and each high level activity |
org.processmining.exporting.petrinet.cpnexport.CpnVarAndType |
getCpnVarForModifiedDataAttributes()
Returns the cpn variable and type that has to represent the variable for the modified data attributes in cpn |
org.processmining.exporting.petrinet.cpnexport.CpnVarAndType |
getCpnVarForStartCase()
Returns the cpn variable and type for the variable that has to represent the start time stamp of a case |
java.util.ArrayList<org.processmining.exporting.petrinet.cpnexport.CpnVarAndType> |
getCpnVarsForGroups()
Returns a list with the cpn vars for all groups, except the cpn-var that has to represent all resources. |
java.util.HashSet<org.processmining.exporting.petrinet.cpnexport.CpnVarAndType> |
getCpnVarsForProbDep()
Returns the cpn variables for the probability variables |
java.util.ArrayList<HLDataDependency> |
getDataDependenciesForTargetNode(ModelGraphVertex n)
Returns a list of data dependencies for which node n is the target node in
these data dependencies |
protected ColoredTransition |
getFirstTransitionOnSubpage_Resource(ColoredPetriNet subpage)
Returns the first start transition on the subpage. |
protected ColoredTransition |
getFirstTransitionOnSubpage(ColoredPetriNet subpage)
Returns the first transition on the subpage. |
java.util.HashMap |
getFusionPlaces()
Returns the fusion that are needed when generating the subpage |
java.util.HashMap<java.lang.String,java.util.ArrayList> |
getInfoForMonitoringResources()
Returns the information that is needed for generating the monitor that keeps track of the resources that are available in the resources place |
protected ColoredTransition |
getLastTransitionOnSubpage(ColoredPetriNet subpage)
Returns the last transition on the subpage. |
java.util.ArrayList<java.lang.String> |
getPageinstancesMonitorThroughputTime()
Retrieves the pageinstance idrefs of the page on which the transition is located which monitor calculates the throughput time for each case |
java.util.Set<ProductColorSet> |
getProductColorSetsForPlaces()
Returns all the product color sets that has been produced by ProductCpnColorSet |
ProductColorSet |
productCpnColorSet(java.util.ArrayList<CpnColorSet> cSets)
Returns the product of two or more cpn color sets. |
ColoredPetriNet |
translate()
Translate the simulation model to a cpn model |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public static final java.lang.String cpnVarNameForCaseId
public static final java.lang.String cpnColorSetNameForCaseId
public static final java.lang.String cpnVarNameForStartCase
public static final java.lang.String cpnColorSetNameForStartCase
public static final java.lang.String cpnVarNameForDataAttributes
public static final java.lang.String cpnVarNameForModifiedDataAttributes
public static final java.lang.String cpnColorSetNameForDataAttributes
public static final java.lang.String cpnVarNameForGroupAllResources
public static final java.lang.String cpnColorSetNameForGroupAllResources
public static final java.lang.String cpnVarNameForGroupAllResourcesWithNobody
public static final java.lang.String cpnColorSetNameForGroupAllResourcesWithNobody
public static final java.lang.String cpnVarNameForNobodyGroup
public static final java.lang.String cpnColorSetNameForNobodyGroup
public static final java.lang.String cpnVarNameForProbDep
public static final java.lang.String cpnColorSetNameForProbDep
Constructor Detail |
---|
public HLToCPNTranslator(HLPetriNet hlPN, ColoredPetriNet simPN)
hlPN
- the PetriNet-based simulation modelsimPN
- the ordinary colored petri netMethod Detail |
---|
public java.util.HashMap getFusionPlaces()
public java.lang.String getCpnIdMonitorTroughputTime()
public java.util.ArrayList<java.lang.String> getPageinstancesMonitorThroughputTime()
public SubSetColorSet getColorSetGroup(HighLevelGroup g)
g
- Group the group for which we want to obtain the corresponding cpn color set
representation
public java.util.ArrayList<SubSetColorSet> getColorSetsGroups()
ArrayList
is returnedpublic CpnColorSet getColorSetDataAttributes()
null
is returnedpublic CpnColorSet getColorSetDataAttribute(HighLevelDataAttribute attrib)
attrib
- HLAttribute the data attribute for which we want to obtain the cpn color set
public java.util.ArrayList<CpnColorSet> getColorSetsSeparateDataAttributes()
ArrayList
is returnedpublic IntegerColorSet getColorSetCaseID()
public StringColorSet getColorSetStartCase()
public SubSetColorSet getColorSetForResourcesPlace()
public org.processmining.exporting.petrinet.cpnexport.CpnVarAndType getCpnVarForGroup(HighLevelGroup g)
g
- Group the group for which we want to obtain the cpn variable and type
public org.processmining.exporting.petrinet.cpnexport.CpnVarAndType getCpnVarForDataAttributes()
public org.processmining.exporting.petrinet.cpnexport.CpnVarAndType getCpnVarForModifiedDataAttributes()
public org.processmining.exporting.petrinet.cpnexport.CpnVarAndType getCpnVarForDataAttribute(HighLevelDataAttribute attrib)
attrib
- HighLevelDataAttribute the data attribute for which we want to obtain
a cpn compliant variable
public org.processmining.exporting.petrinet.cpnexport.CpnVarAndType getCpnVarForCaseId()
public org.processmining.exporting.petrinet.cpnexport.CpnVarAndType getCpnVarForStartCase()
public java.util.HashSet<org.processmining.exporting.petrinet.cpnexport.CpnVarAndType> getCpnVarsForProbDep()
public org.processmining.exporting.petrinet.cpnexport.CpnVarAndType getCpnVarForGroupAllResources()
public java.util.ArrayList<org.processmining.exporting.petrinet.cpnexport.CpnVarAndType> getCpnVarsForGroups()
public ProductColorSet productCpnColorSet(java.util.ArrayList<CpnColorSet> cSets)
cSets
- ArrayList the color sets for which we want to obtain the
color that is the product of them
public java.util.Set<ProductColorSet> getProductColorSetsForPlaces()
ProductCpnColorSet
ProductCpnColorSet
public org.processmining.exporting.petrinet.cpnexport.CpnFunction generateRandomFunctionForDataAttribute(HighLevelDataAttribute dataAttr)
dataAttr
- HighLevelDataAttribute the data attribute for which we want to obtain
a function that generates random values between some range
public ColoredPetriNet translate()
public java.util.ArrayList<HLDataDependency> getDataDependenciesForTargetNode(ModelGraphVertex n)
n
is the target node in
these data dependencies
n
- ModelGraphVertex the node that has to be target node of a data dependency
n
is the target node of
these data dependenciesprotected ColoredTransition getFirstTransitionOnSubpage(ColoredPetriNet subpage)
subpage
- ColoredPetriNet
protected ColoredTransition getFirstTransitionOnSubpage_Resource(ColoredPetriNet subpage)
subpage
- ColoredPetriNet
protected ColoredTransition getLastTransitionOnSubpage(ColoredPetriNet subpage)
subpage
- ColoredPetriNet
public java.util.HashMap<java.lang.String,java.util.ArrayList> getInfoForMonitoringResources()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |