Extension and Implementation of Look-ahead Supervisory Control with Buffering