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