abstract
- The use of service-orientation principles in manufacturing systems is a promising solution to achieve modularity, flexibility, re-configurability and interoperability. Crucial issues in these service-oriented systems are the description and coordination of the execution of the services offered by the distributed entities. This paper introduces an integrated approach for the design, analysis, validation, simulation and process execution of service-oriented manufacturing systems, using the High-level Petri nets formalism as the formal language to describe the system behavior. The use of the proposed approach contributes to achieve an easier and faster development of these solutions and provides the basis to support modularity and re-configurability.