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
You must be logged in to post a comment.