Package | Description |
---|---|
org.processmining.models.graphbased.directed.petrinetwithdata |
Modifier and Type | Method and Description |
---|---|
java.util.Map<Transition,Guard> |
PetriNetWithData.getGuards() |
Modifier and Type | Method and Description |
---|---|
void |
Guard.addGuardAND(Guard grd) |
void |
Guard.addGuardOR(Guard grd) |
void |
PetriNetWithData.assignGuard(Transition t,
Guard grd) |