| Class | Description |
|---|---|
| RPSTConsultant |
Assumption: A-All arcs are weighed 1 B-The net is sound workflow net (one
entry node and one exit node is required by the implementation of RPST)
|
| RPSTNodeWSiblings | |
| RPSTTreeWrapper |
This class wraps the RPST into a representation that helps determining for a
given marking, 1.
|
| Enum | Description |
|---|---|
| RPSTFragmentType |