Helper methods for ‘simmer’ trajectories
delayed_release() delayed_release_selected()
delayed_release()
delayed_release_selected()
Delayed Release of a Resource
do_parallel()
Perform Parallel Tasks
interleave()
Interleaved Resources
visit() visit_selected()
visit()
visit_selected()
Visit a Resource
wait_n() wait_until()
wait_n()
wait_until()
Wait a Number of Signals