Uses of Class
org.processmining.plugins.pnml.simple.PNMLPlaceRef

Packages that use PNMLPlaceRef

Package	Description
org.processmining.plugins.pnml.simple

Uses of PNMLPlaceRef in org.processmining.plugins.pnml.simple

Methods in org.processmining.plugins.pnml.simple that return types with arguments of type PNMLPlaceRef

Modifier and Type	Method	Description
java.util.List<PNMLPlaceRef>	PNMLMarking.getPlaces()

Method parameters in org.processmining.plugins.pnml.simple with type arguments of type PNMLPlaceRef

Modifier and Type	Method	Description
void	PNMLMarking.setPlaces(java.util.List<PNMLPlaceRef> places)