hets/Temporal/mutex.smv

	mutex.smv revision 26db4a742376d513cdba128780ee8ca60eeb927e
MODULE main
VAR
  request : boolean;
  status : {ready,busy};
ASSIGN
  init(status) := ready;
  next(status) := case
                   request : busy;
                   1 : {ready,busy};
                  esac;