Publicação
High-level petri nets for the process description and control in service-oriented manufacturing systems
| Resumo: | 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. |
|---|---|
| Autores principais: | Leitão, Paulo |
| Outros Autores: | Mendes, João M.; Colombo, Armando W.; Restivo, Francisco |
| Assunto: | Flexible manufacturing systems Reconfigurability Service-oriented systems High-level Petri nets |
| Ano: | 2012 |
| País: | Portugal |
| Tipo de documento: | artigo |
| Tipo de acesso: | acesso restrito |
| Instituição associada: | Instituto Politécnico de Bragança |
| Idioma: | inglês |
| Origem: | Biblioteca Digital do IPB |
| Resumo: | 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. |
|---|