A color set is timed by appending the keyword timed to the end of its declaration. At least one color set must be timed in order to run a simulation with time.

Declaration syntax

colset name = … timed;

Declaration examples

colset IT = int timed;

colset P = product Bool * IT timed;

A timed color set is used in the example CPN for the Timed Protocol example.

Operations

See color set functions and timed color set functions.

Timed multisets
Timed color set functions

You must be logged in to post a comment.