Package | Description |
---|---|
org.yawlfoundation.yawl.analyser.elements | |
org.yawlfoundation.yawl.analyser.reductionrules |
Class and Description |
---|
RElement
The base class for RTransition and RPlace
|
RFlow
Representation of Flow relation.
|
RMarking
Data structure for Marking Storage;
|
RPlace
Representation of a place in a Reset net.
|
RSetOfMarkings
Data structure for Storage of RMarkings.
|
RTransition |
Class and Description |
---|
RElement
The base class for RTransition and RPlace
|
ResetWFNet
A Reset net formalisation of a YAWL net.
|