A model for choice in simple concurrent and concurrent-chains schedules.

A model for choice in simple concurrent and concurrent-chains schedules.