Package | Description |
---|---|
org.processmining.plugins.stochasticpetrinet.external |
Modifier and Type | Method and Description |
---|---|
java.util.List<Person> |
Role.getAllTransitivePerformers() |
java.util.List<Person> |
Role.getDirectPerformers() |
Modifier and Type | Method and Description |
---|---|
void |
Role.addPersonToRole(Person person) |