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 |