Package | Description |
---|---|
org.processmining.plugins.stochasticpetrinet.external |
Modifier and Type | Method and Description |
---|---|
java.util.List<Role> |
Role.getCanBePerformedByRoles() |
java.util.List<Role> |
Resource.getRoles() |
Modifier and Type | Method and Description |
---|---|
void |
Role.addCanPerform(Role roleToPerform) |
void |
Resource.addRole(Role role) |
void |
Resource.removeRole(Role role) |