A crescente disputa de mercado no setor produtivo tem motivado o desenvolvimento de pesquisas relacionadas a sistemas produtivos, sendo dado destaque às atividades relacionadas ao planejamento do processo, com objetivo de reduzir o tempo compreendido entre projeto e fabricação. Dentre as atividades pertinentes ao planejamento do processo evidencia-se a importância do planejamento de dispositivos de fixação de peças, que apesar de ser tema de várias pesquisas, ainda carece de abordagem sistêmica e abrangente. Neste trabalho apresenta-se uma proposta de sistematização do planejamento de dispositivos de fixação de peças prismáticas e sua relação com as demais atividades pertinentes ao planejamento do processo, classificando este sistema como um SED (Sistemas a Eventos Discretos) o que nos permite estudá-lo utilizando ferramentas derivadas das redes de Petri. A metodologia E-MFG/PFS, derivada das Redes de Petri, é empregada para elaborar modelos de controle formais que auxiliam no processo de síntese de dispositivos de fixação, a qual possibilita uma abordagem top-down, onde os detalhes do processo de planejamento de dispositivos de fixação são inseridos progressivamente a cada nível de refinamento. Esta técnica também proporciona vantagens similares ao do projeto de software, o que facilita a implementação. Para adequar a metodologia ao problema em questão, foi necessário estabelecer uma semântica alternativa para os elementos estruturais do PFS. Esta postura foi adotada porque a metodologia propriamente dita foi elaborada para ser aplicada no processo de síntese de sistemas de controle de sistemas produtivos. Para apresentar o resultado final, apresenta-se um estudo de caso, desenvolvido a partir dos modelos de controle obtidos, resultando na especificação do dispositivo de fixação de uma peça deste domínio.

The growing market dispute in the productive sector has boosted research related to productive systems, with a special focus on those activities contemplating process planning, aiming to cut down on the time gap between design and manufacture. One of the most important activities related to process planning is the planning of pieces fastening devices, which albeit being the subject of much research still lacks a systemic, broad approach. The present work proposes turning the planning of prismatic pieces fastening devices into a system, including its relation to the other activities connected to the process planning, classifying said system as DES (Discrete Events System) which allow their study in light of the theories born from the Petri nets. The E-MFG/PFS methodology, derived from the Petri nets, is used to develop formal control models that aid in the synthesis process of fastening devices, which makes possible a top-down approach, where the details of the fastening planning are progressively inserted at each refinement level. This technique also provides advantages similar to those from software design, which facilitates its implementation. To adapt the methodology to the problem at hand, it was necessary to establish a semantics alternative to PFS structural elements. This approach was chosen because the methodology was developed for use on the synthesis process of manufacturing systems control. A case study is used to illustrate the final result, developed fromthe resulting control models, leading to the specifications of a fastening device for a prismatic piece.