| 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..
|