Uses of Class
jline.lang.nodes.Place
Packages that use Place
Package
Description
Workflow Net (WF-net) analysis for LINE.
This package contains the classes used the specify Network objects
-
Uses of Place in jline.api.wfn
Methods in jline.api.wfn that return Place -
Uses of Place in jline.lang.nodes
Methods in jline.lang.nodes with parameters of type PlaceModifier and TypeMethodDescriptionvoidTransition.setEnablingConditions(Mode mode, JobClass jobclass, Place inputPlace, int enablingCondition) voidTransition.setFluidFlowDependence(Mode mode, Place place, SerializableFunction<Matrix, Double> phi) Marking-dependent fluid flow reading the input places of the mode; see the four-argument form.voidTransition.setFluidFlowDependence(Mode mode, Place place, SerializableFunction<Matrix, Double> phi, List<Place> readPlaces) Marking-dependent fluid flow: the flow of the mode into or out of the fluid place becomes k*rate*phi(M), with k the running servers and rate the one set byTransition.setFluidRate(jline.lang.Mode, jline.lang.nodes.Place, double).voidTransition.setFluidGuard(Mode mode, Place place, String op, double threshold) Enables the mode only while the level of the fluid place satisfieslevel op threshold, with op ">=" or "<=".voidTransition.setFluidImpulse(Mode mode, Place place, double delta) Every firing of the mode moves the level of the fluid place by delta at once (a deposit for delta > 0, a withdrawal for delta < 0).voidTransition.setFluidRate(Mode mode, Place place, double rate) Fluid flow of a TIMED mode into (rate > 0) or out of (rate < 0) the fluid place, per running server: while the marking keeps k servers of the mode running, the level moves at k*rate.voidTransition.setFluidRateDependence(Mode mode, Place place, SerializableFunction<Double, Double> h) Fluid-dependent firing rate of a TIMED, exponentially distributed mode: its rate is multiplied by h(level), a non-negative function of the level of the fluid place.voidTransition.setInhibitingConditions(Mode mode, JobClass jobclass, Place inputPlace, int inhibitingCondition) Method parameters in jline.lang.nodes with type arguments of type PlaceModifier and TypeMethodDescriptionvoidTransition.setFluidFlowDependence(Mode mode, Place place, SerializableFunction<Matrix, Double> phi, List<Place> readPlaces) Marking-dependent fluid flow: the flow of the mode into or out of the fluid place becomes k*rate*phi(M), with k the running servers and rate the one set byTransition.setFluidRate(jline.lang.Mode, jline.lang.nodes.Place, double).