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