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