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.
colset name = … timed;
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.
You must be logged in to post a comment.