On the supervisory control of multi-agent product systems