Honeywell PML |
WHEN busy => CASE s(i).state IS WHEN idle => WHEN request => WHEN ack => WHEN busy => IF (s(current_driver) <s(i)) THEN current_driver := i; END IF; END CASE; .. RETURN s(current_driver); |
Copyright Honeywell, Inc. Reprinted with permission.