The application of business process management in smart manufacturing. Towards dynamic allocation of manufacturing resources