Class | Description |
---|---|
AddLT2Net |
this class is special to add long-term dependency on net, which demands
parameters of net, process tree, clusterPairList, it is I guess enough for
all the things how to process ?? -- get rule set for each cluster pair, I
guess??? :: LTRule:: it should store the original and the new ones, so we can
divide them easily ++ how to merge those rules?? ++ how to add those rules ??
++ we only have rules in current situations -- add places w.r.t.
|
AlignmentChecker |
this relates to the alignment on the process tree
|
KEFANG0 | |
NewLTDetector | |
NewXORPairGenerator<T> |
this class is used to analyse the Process Tree structure, generate the XOR
Pair of Process Tree
|
PN2DfgTransform | |
PNReplayer |
admit it not so easy to write it on your own, let it go in this way.
|
SilentTransitionDeletor |
this class is used to delete silent transition after the model generation in
order to make model better looking..
|