Solving myopia in real-time decision-making using Petri nets models' knowledge for service-oriented manufacturing systems