Utility modelling, equilibrium, and coordination of resource service transaction in service-oriented manufacturing system | Synapse