Uses of Class
org.processmining.plugins.stochasticpetrinet.external.Person

Packages that use Person

Package	Description
org.processmining.plugins.stochasticpetrinet.external

Uses of Person in org.processmining.plugins.stochasticpetrinet.external

Methods in org.processmining.plugins.stochasticpetrinet.external that return types with arguments of type Person

Modifier and Type	Method	Description
java.util.List<Person>	Role.getAllTransitivePerformers()
java.util.List<Person>	Role.getDirectPerformers()

Methods in org.processmining.plugins.stochasticpetrinet.external with parameters of type Person

Modifier and Type	Method	Description
void	Role.addPersonToRole(Person person)