Package jline.lang

Class FluidFlowDependence

java.lang.Object

jline.lang.FluidFlowDependence

All Implemented Interfaces:

Serializable

public class FluidFlowDependence
extends Object
implements Serializable

A marking-dependent multiplier of a fluid flow of a Petri-net transition mode (FSPN): the flow of the mode into or out of the fluid place with node index node (0-based) becomes k * rate * fun(M), with k the running servers. M is the (nnodes x nclasses) marking matrix with only the rows in read filled; an empty read on the node stands for the mode's input places and is resolved when the network struct is refreshed.

See Also:

• Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
final SerializableFunction<Matrix,Double>	fun	Non-negative multiplier phi(M) of the marking matrix.
final int	node	0-based node index of the fluid place whose flow is scaled.
final int[]	read	0-based node indices of the token places phi reads, ascending; empty for the mode's input places.

Constructor Summary

Constructors

Constructor	Description
FluidFlowDependence(int node, SerializableFunction<Matrix,Double> fun, int[] read)

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

node

public final int node

0-based node index of the fluid place whose flow is scaled.

fun

public final SerializableFunction<Matrix,Double> fun

Non-negative multiplier phi(M) of the marking matrix.

read

public final int[] read

0-based node indices of the token places phi reads, ascending; empty for the mode's input places.

Constructor Details

FluidFlowDependence

public FluidFlowDependence(int node,
 SerializableFunction<Matrix,Double> fun,
 int[] read)