| Class and 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)
|
| Class and Description |
|---|
| RPSTFragmentType |
| RPSTNodeWSiblings |
| RPSTTreeWrapper
This class wraps the RPST into a representation that helps determining for a
given marking, 1.
|