NOTFREE;It is used to suppress the release of capacity by the messages going out of the IL of a R type node.
This procedure may be used only in the RELEASE instruction of R type nodes.
Example:
Lock (R) Ocean :: RELEASE BEGIN NOTFREE; SENDTO(Ocean, Fill) END; STAY := T_Enter + T_Ebbing + T_Leaving; Fill (R) Elim :: RELEASE BEGIN FREE(Lock); SENDTO(DestrMess) END; STAY := T_Filling;Messages (vessels) queue up at a lock to go down to the ocean level. The time spent in the dock is for the entrance maneuvers, lowering the level of the water, and going out. The dock is again freed for use after the dock attains again the upper level. This is simulating by not freeing the lock when the message goes out and by sending a copy to the node Fill. This delays the message by the filling time and then the resource is freed. See FREE procedure (section 7.10).