Class | Description |
---|---|
FreeChoiceAnalyzer |
This class analyze whether a given net is a free choice-net, extended free
choice net, or not both Based on Murata, Tadao, Fellow, Lee.
|
IncidenceMatrixFactory |
This class generate incidence matrix from a net
|
PTHandlesGenerator |
Class to identify PT Handler from a given net(if there is any) PT Handle
refers to J.
|
SComponentGenerator |
Class to decompose petri net into its S-components (if there is any) this
implementation based on characteristic of place invariants:
"any S-component consists of the support of a minimal support P-invariant and the transitions adjacent to these places"
Taken from : D.
|
SignIncidenceMatrixOperator |
This class provide static variable and unique operation(s) in
SignIncidenceMatrix This class is used in generating minimal siphons and
traps
|
SiphonGenerator |
This class identify minimal siphon, based mainly from : Boer, Ermin R.
|
TComponentGenerator |
Class to decompose petri net into its T-components (if there is any) this
implementation is similar to SComponentGenerator implementation
|
TPHandlesGenerator |
Class to identify TP Handles from a given net(if there is any) TP Handle
refers to J.
|
TrapGenerator |
This class identify minimal traps, based mainly from : Boer, Ermin R.
|