Simulator functions

General functions

• step() Returns the current step number as an intinf
• RealToIntInf d r Converts the real value r to an InfInt.int with d digits after the decimal point
• IntInfToReal d ii Converts the IntInf.int value ii to an real with d digits after the decimal point
• CPN'Replications.nreplications n Runs n simulation replications for n>1

Functions in timed simulations

The type of model time is infinite integer (IntInf.int in SML Basis Library) or reals (depending on model options).

• time() Returns the current model time (as an infinite integer) in timed CPNs
• ModelTime.toString t Converts model time value t to a string
• ModelTime.fromString st Converts a string representation of an integer st to a time value, i.e. an infinite integer
• ModelTime.fromInt i Converts an integer i into a time value.
• ModelTime.add(t1,t2) Adds the two time values t1 and t2
• ModelTime.sub(t1,t2) Subtracts the time value t2 from t1
• ModelTime.mult(t1,t2) Multiplies the two time values t1 and t2
• ModelTime.lt(t1,t2) Less than function for time values
• ModelTime.cmp(t1,t2) Comparison function for time values t1 and t2 that returns an SML order value, e.g. LESS, GREATER or EQUAL
• ModelTime.col cts Returns the color value of cts which is a color value paired with a time stamp