On the product of directed graphs