scheduler working for deadlock.pml, flag for preemption, PeriodicWait for non-preemptive case
old version without scheduler process in *_provided.pml, test for starvation