Made available in DSpace on 2014-06-12T16:00:15Z (GMT). No. of bitstreams: 2 arquivo6285_1.pdf: 1527923 bytes, checksum: 78d4cb768e2160db1bd4ea015fdefa03 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2007 / Sistema Embarcado ¶e um sistema computacional projetado para uma fun»c~ao dedicada. Geralmente, este sistema executa uma tarefa espec¶³¯ca dentre um conjunto maior de tarefas, e possui particularidades tanto de hardware quanto de software. Os Sistemas Embarcados est~ao presentes no cotidiano sob diferentes formas e com diferentes objetivos. Geralmente possuem uma s¶erie de restri»c~oes, tais como: dimens~oes das mem¶orias, fonte de energia, baixa velocidade de processamento, dentre outras. Este trabalho apresenta o desenvolvimento de um modelo em Redes de Petri de desem- penho e energias para c¶odigos ANSI-C, considerando um processador de uma plataforma embarcada espec¶³¯ca, com o objetivo de estimar o consumo de energia. A linguagem ANSI-C, como c¶odigo de Sistemas Embarcados, foi escolhida por ser uma das mais utilizadas no desenvolvimento destes sistemas. Redes de Petri Temporizadas permitem a modelagem e especi¯ca»c~ao de sistemas paralelos e distribu¶³dos e, ao mesmo tempo, prov^eem o formalismo matem¶atico necess¶ario para uma avalia»c~ao de desempenho. Neste trabalho, o modelo Redes de Petri Temporizada ¶e anotado com informa»c~ao de consumo de energia, o que originou a Power Petri Net. Este trabalho contribui tamb¶em com a implementa»c~ao de um simulador estoc¶astico para avalia»c~ao de desempenho e de um ambiente computacional no qual s~ao realizadas as estimativas. Esse ambiente ¶e formado pelo tradutor de c¶odigo ANSI-C para Redes de Petri no formato PNML [1], padr~ao XML para descri»c~ao de Redes de Petri, simulador estoc¶astico e extens~ao do ambiente EzPetri [2]. Como o modelo apresentado, b¶asico, pode ser estendido em outros trabalhos ¶e caracterizada a forma»c~ao de um framework. Para valida»c~ao do m¶etodo proposto, foi utilizado um c¶odigo de avalia»c~ao, benchmark, PowerStone [3] desenvolvido para explorar o sistema sob diferentes aspectos de consumo de energia

[pt] Lógica Proposicional Dinâmica (PDL) é um sistema lógico multi-modal utilizada para especificar e verificar propriedades em programas sequenciais. Redes de Petri são um formalismo largamente utilizado na especificação de sistemas concorrentes e possuem uma interpretação gráfica bastante intuitiva. Neste trabalho apresentam-se extensões da Lógica Proposicional Dinâmica onde os programas são substituídos por Redes de Petri. Define-se uma codificação composicional para as Redes de Petri através de redes básicas, apresentando uma semântica composicional. Uma axiomatização é definida para a qual o sistema é provado ser correto, e completo em relação à semântica proposta. Três Lógicas Dinâmicas são apresentadas: uma para efetuar inferências sobre Redes de Petri Marcadas ordinárias e duas para inferências sobre Redes de Petri Estocásticas marcadas, possibilitando a modelagem de cenários mais complexos. Alguns sistemas dedutivos para essas lógicas são apresentados. A principal vantagem desta abordagem concerne em possibilitar efetuar inferências sobre Redes de Petri [Estocásticas] marcadas sem a necessidade de traduzí-las a outros formalismos. / [en] Propositional Dynamic Logic (PDL) is a multi-modal logic used for specifying and reasoning on sequential programs. Petri Net is a widely used formalism to specify and to analyze concurrent programs with a very intuitive graphical representation. In this work, we propose some extensions of Propositional Dynamic Logic for reasoning about Petri Nets. We define a compositional encoding of Petri Nets from basic nets as terms. Second, we use these terms as PDL programs and provide a compositional semantics to PDL Formulas. Then we present an axiomatization and prove completeness regarding our semantics. Three versions of Dynamic Logics to reasoning with Petri Nets are presented: one of them for ordinary Marked Petri Nets and two for Marked Stochastic Petri Nets yielding to the possibility of model more complex scenarios. Some deductive systems are presented. The main advantage of our approach is that we can reason about [Stochastic] Petri Nets using our Dynamic Logic and we do not need to translate it into other formalisms. Moreover our approach is compositional allowing for construction of complex nets using basic ones.

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / The majorities of industrial systems may be considered as dynamic hybrid systems, that is, described by variables in the continuous and discrete domains. Therefore, due to the need to obtain high quality products with losses minimization, to have safer and environmental friendly process operation, is what justies the development of tools for evaluating fault propagation eects. In this work, some tools for the representation of dynamic hybrid systems were studied in order to address the abnormal behavior propagation. The rst tools are Petri nets that allow a qualitative mathematical representation, the analysis of the models and supply useful information on the structure and the dynamic behavior of the system. Another tool is the signed directed graph - SDG that includes the mechanisms of fault propagation and the development of a theory of modeling based on the knowledge of complicated systems. In this context, it was presented the qualitative modeling of dynamic systems by using Petri nets and SDG, with the occurrence of faults and the evaluation of their propagation during process operation. These techniques were applied to Chemical Engineering problems such as mixing tanks and batch reactors for Petri nets, tank systems and faulty continuous reactors with the use of SDG. In those processes, simulations were performed and the faults eects were evaluated for several operational scenarios. SDGs were also used to determine the fault propagation path, with the evaluation of each aected process variable of interest both in open and closed-loop operation. / A maioria dos sistemas industriais pode ser classificada como pertencente _a classe de sistemas híbridos dinâmicos, ou seja, sistemas compostos por variáveis no domínio contínuo e discreto. Assim, devido à necessidade de se obter produtos de alta qualidade com mínimo de perdas possíveis, operar com segurança respeitando o meio ambiente, gerenciar ou tolerar falhas é que se tem a necessidade do desenvolvimento de ferramentas de investigação dos efeitos de falhas em processos. Neste trabalho foram estudadas algumas ferramentas para a representação de sistemas híbridos dinâmicos com a finalidade de representar o comportamento anormal desses sistemas. Uma dessas ferramentas _e a rede de Petri que permite a representação matemática, análise dos modelos e fornece informações úteis sobre a estrutura e o comportamento dinâmico dos sistemas modelados. Outra ferramenta estudada são os grafos orientados - SDG (Signed Directed Graph) que incluem os mecanismos de propagação de falhas e o desenvolvimento de uma teoria de modelagem baseada no conhecimento de sistemas. Nesse contexto, foram apresentados nesta dissertação a modelagem qualitativa dos sistemas discretos utilizando redes de Petri e SDG, com a ocorrência de falhas e a avaliação da sua propagação nos processos. Essas técnicas foram aplicadas em problemas simples da Engenharia Química como tanques de mistura e reator em batelada para redes de Petri e sistemas com um e três tanques e CSTR para o SDG. Em cada um dos processos estudados foram feitas as simulações acopladas aos modelos qualitativos em diversos cenários de falhas. Com isso comparam-se os resultados para o sistema operando sob diversos cenários e avaliam-se as informações do modelo qualitativo. Para ilustrar a aplicação das técnicas investigadas, esse trabalho avaliou, com a utilização de SDG, os caminhos de propagação das falhas, obtendo as variáveis afetadas em cada cenário operacional investigado. / Mestre em Engenharia Química

Made available in DSpace on 2014-06-12T15:58:27Z (GMT). No. of bitstreams: 2 arquivo4484_1.pdf: 6966497 bytes, checksum: 24a281b3de8ed514a81a117af5c76238 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2004 / A maioria dos sistemas electrônicos modernos consiste em hardware dedicado e componentes programáveis (chamados componentes de software). Ao longo dos últimos anos, o número de metodologias que aplicaram simultaneamente técnicas de diferentes áreas para desenvolver sistemas mistos de hardware e software tem crescido consideravelmente. Projetos concorrentes de sistemas mistos de hardware/software têm mostrado ser vantajoso quando considerado como um todo ao invés de se considerar entidades independentes. Hoje em dia, o mercado eletrônico demanda sistemas de alto desempenho e de baixo custo. Estes requisitos são essenciais para a competitividade de mercado. Além disso, um curto time-to-market é um fator importante. A demora no lançamento do produto causa sérias reduções no lucro, desde que é mais simples vender um produto quando se tem pouca ou nenhuma competição. Isto significa que facilitando o re-uso de projetos anteriores, uma rápida exploração de projeto, análise/verificação qualitativa em fases iniciais do projeto, prototipação e a redução do tempo requerido para testes, reduzem o tempo global exigido de uma especificação até o produto final. Ao projetar tais sistemas mistos de hardware/software, a análise de alternativas de projeto e a decisão de onde implementar cada parte de sistema, isto é, em hardware ou em software, são tarefas muito importantes. A estimativa de métricas de qualidade permite a exploração do espaço de projeto e pode guiar a decisão de implementação de partes do sistema. Tais métricas são calculadas no nível de sistema, ou seja, sem implementação real. Conseqüentemente, tais estimativas também aceleraram o projeto do sistema e permitem a análise de restrições de projeto, fornecendo uma retroalimetação para decisões de projeto. As redes de Petri são técnicas de especificação formal que permitem uma representação gráfica e matemática. Têm métodos poderosos que permitem aos projetistas realizar análises qualitativa e quantitativa. Redes de Petri Timed, são extensões de redes de Petri nas quais as informações de tempo são expressas por duração (rede com tempo determinístico, política de disparo em três fases) e são associadas às transições. Para uma descrição comportamental de alto nível, o projeto de hardware é dividido em classes de blocos funcionais: caminho de dados e controladores. O caminho de dados consiste em três tipos de componentes RT: unidades de armazenamento (registradores e latches), unidades funcionais (ALUS e comparadores), e unidades de interconexão (multiplexadores e barramentos). As unidades de armazenamento são requeridas para armazenar valores de dados como constantes, variáveis e vetores no comportamento. As unidades funcionais são necessárias para implementar as operações no comportamento. Após todas as variáveis e operações no comportamento terem sido mapeadas às unidades de armazenamento e funcionais, respectivamente, podemos estimar o número de unidades de interconexão, como os barramentos e multiplexadores, os quais são requeridos para interligar as unidades de armazenamento e funcionais. Este trabalho propõe uma abordagem para estimar a área de hardware a partir do número de unidades de armazenamento, funcionais e de interconexão, levando-se em consideração restrições de tempo e dependência de dados, e estende alguns trabalhos anteriores com o objetivo de melhorar a precisão dos métodos de estimativa de área. Isto é, o método proposto considera uma rede de fluxo de dados que captura dependência de dados e calcula a área do caminho de dados a partir do número e tipo dos seus componentes, considerando a relação de dependência temporal

Made available in DSpace on 2015-04-11T14:03:05Z (GMT). No. of bitstreams: 1 Romulo Devezas Freitas.pdf: 818067 bytes, checksum: 48f8f5869d720e92b7dcb341d59a27a3 (MD5) Previous issue date: 2005-12-01 / No contexto restritivo dos sistemas embarcados de tempo real críticos, a geração de código escalonado mostra-se uma maneira eficiente de proporcionar previsibilidade e demais garantias exigidas por tais sistemas. Entretanto, a geração de código escalonado pressupõe conhecimento prévio da ordem em que as tarefas devem ser executadas. Assim, a síntese de escalonamento é peça chave em um metodologia para síntese de software neste ambiente. Este trabalho apresenta uma abordagem para síntese de escalonamento estático utilizando semântica de passo máximo em redes de Petri com temporização. Este trabalho está inserido no contexto de uma metodologia para síntese de software de sistemas embarcados de tempo real críticos. Em linhas gerais, essa metodologia compreende (i) a especificação do sistema; (ii) a transformação da especificação em um modelo formal baseado em rede de Petri; (iii) a síntese de escalonamento baseada neste modelo e (iv) a geração de código escalonado. No escopo da síntese de escalonamento, este trabalho propõe um conjunto de definições que caracterizam uma estratégia de disparo de passo máximo sobre redes de Petri com temporização, e aplica estas definições na síntese de escalonamento estático para sistemas embarcados de tempo real críticos. Os resultados obtidos nos experimentos apresentados indicam a viabilidade da aplicação da semântica de passo máximo proposta, demonstrando melhorias de desempenho relacionadas ao tempo de execução e ao volume de informação processada. Adicionalmente, além da apresentação de uma abordagem de passo máximo para síntese de escalonamento, este trabalho ainda propõe algumas melhorias e aperfeiçoamentos na metodologia e no modelo adotados como base.

O objetivo deste trabalho é o estudo dos processos informados de automação, isto é, onde o fluxo e armazenagem de informação são determinantes para o processo de negócio (PN), além de servir para verificação de qualidade, recuperação de erros, rastreabilidade de ocorrências anômalas, etc. Aborda-se em especial um tratamento onde a internacionalização do acesso aos dados (sistema EPCIS) passa por um elemento de captura e distribuição local, chamado SAVANT-2, que acaba por ser o elemento chave para controle do fluxo e para o desenvolvimento dos projetos (Dos Santos, 2005). As informações são capturadas por leitores de RFID, e não em código de barras como é feito convencionalmente. As etiquetas de código de barras geraram uma revolução nos sistemas de identificação há algumas décadas atrás, mas hoje se mostram inadequadas num número crescente de casos. O código de barras pode ser extremamente barato, mas tem baixa produtividade além de baixa capacidade de armazenamento de dados e uma dependência maior das operações manuais, quando comparado a outras tecnologias de suporte de dados. Um estudo de caso será feito na automação de acervos, onde a informação de base é a retirada e a devolução de obras por usuários, que é atualizada dinamicamente e está intimamente ligada à missão do próprio sistema de controle do acervo. Esse trabalho segue a mesma abordagem proposta por (Tavares, 2006) e (Dos Santos, 2005), ou seja, controlar a informação corporativa localmente e selecionar, além do código de identificação, as informações que podem e devem ser estrategicamente compartilhadas com o restante do mundo. Em outras palavras utilizaremos a modelagem do fluxo de informação em Redes de Petri e os sistemas denominados de SAVANT-2 e EPCIS-2.Para isso, foram desenvolvidos novos módulos EPCIS-2 e SAVANT-2 adaptados dos já desenvolvidos, só que acoplados a leitores e sensores, que compõe um piloto simplificado de um sistema de controle para biblioteca. Este protótipo instalado no Design Lab da Escola Politécnica da Universidade de São Paulo gerencia o acervo de livros e mídias do laboratório. Este é não somente o 1º acervo da América Latina automatizado com sistema utilizando a tecnologia RFID, mas também o primeiro automatizado com base na Rede EPC e com a análise de eventos atípicos de seus processos no mundo. / The objective of this work is to study the informed automation processes, in which the information flow and storage are essential to the business process, providing quality control, error recovering, traceability and the track of anomalous occurrences. In such processes the capture of the proper pieces of information is a key point to the automation process, observing the mission assigned to the system. We focus on a case-study of a heap library service, treating the information with RFID (Radio Frequency Identification), reusing the intermediary system SAVANT-2 (Dos Santos, 2005) and a database to the target storage. Barcode labels caused a revolution in the identification systems a few decades ago, but have become inadequate in an increasing number of cases. Barcodes can be extremely inexpensive, but it has low productivity and low data storage capacity. Moreover, it depends more on manual operation, when compared to other technologies. This work follows the line so study of informed automation concepts explored in the work of (Tavares, 2006) and (Dos Santos, 2005) in a manufacturing application. In other words, the control of the corporate information, besides the identification code, is done locally and afterwards, strategic information is selected to be shared with the rest of the world. We use the dataflow modeling in Petri Nets and systems named SAVANT-2 and EPCIS-2. In order to support this work, new modules EPCIS-2 and SAVANT-2, proposed by (Tavares, 2006) and (Dos Santos, 2005) are expanded e implemented, adapting the existing ones to readers and sensors. A simplified project will be implemented in the Design Lab of the Escola Politécnica, Universidade de São Paulo (USP). This is not only the first catalog in the Latin America automated with an RFID system, but also the first in the world with automation based on EPC Networks and with atypical events analysis of its processes.

Este trabalho introduz a formalização algébrica do F-MFG (Functional Mark Flow Graph) para a análise e simulação computacional de modelos de sistemas antropocêntricos de produção, onde são enfocadas a interação e a interface do elemento humano com o sistema produtivo. Abordando os sistemas antropocêntricos como uma classe de sistemas a eventos discretos, o F-MFG, que é uma técnica baseada nas redes de Petri, comprova ter potencial para descrever detalhadamente as ações e estados do sistema. O F-MFG, em conjunto com a Metodologia PFS/MFG (Production Flow Schema/ Mark Flow Graph), estabelece um procedimento eficiente para o projeto de sistemas antropocêntricos, tornando concisa a modelagem e a posterior avaliação estrutural e comportamental do sistema. / This work introduces an algebraic formalization of F-MFG (Functional-Mark Flow Graph). This formalization is effective for analysis and simulation of anthropocentric production systems, which is focused on the interaction and interface between human elements and production systems. When approaching anthropocentric systems as Discrete Event Dynamic Systems, the F-MFG, which is a Petri Net based technique, has been demonstrated its potential capabilities in describing detailed models of system actions and states. The PFS/MFG Methodology (Production Flow Schema/Mark Flow Graph Methodology) combined with F-MFG establishes an efficient procedure for the design of anthropocentric systems. This procedure results in concise modeling and analysis (system structural and behavioral evaluation) processes.

As importantes transformações das organizações nos últimos anos mostram que diferentes princípios de qualidade, competitividade e inovação devem ser conjugados para o projeto de sistemas de controle de sistemas produtivos. Esta abordagem, que traz benefícios às organizações, é viável em virtude da evolução das estratégias de integração e da tecnologia da informação. A partir da norma em elaboração ANSI/ISA S95, esta dissertação desenvolve procedimentos para definição do escopo funcional, requisitos e modelagem para o projeto de sistemas de controle de sistemas produtivos integrados à organização, atuando de forma estruturada, em conformidade com padrões técnicos de automação e engenharia de requisitos. Como resultados, estabelece procedimentos para o início do projeto que definem o escopo funcional do sistema de controle de sistemas produtivos integrado à gestão da organização. A seguir, estes procedimentos estabelecem os domínios semânticos dos subsistemas necessários para o desempenho de suas funções, acompanhados das respectivas linguagens de modelagem. A dissertação completa-se com a modelagem dos subsistemas através do E-MFG com comunicadores, modelagem esta que suporta os padrões existentes de programação da automação. Neste contexto, parte-se dos requisitos de cada subsistema coletados por uma versão modificada do caso de uso da UML, convertidos finalmente para o E-MFG com comunicadores. / The important changes that are happening inside organizations show that different principles of quality, innovation and competition should be combined during the design of control system of production systems. This approach is possible thanks to the evolution of integration strategy and information technology, generating benefits to organizations. Procedures are established to define system’s functional scope, requirements and models, based on the integrated approach of ANSI/ISA S95 standard. The procedures are developed by a structured process and according to automation standards and requirements engineering. The work’s first result is a procedure that defines a functional scope for control system design of production systems integrated with organization. As a second result, procedures help to define semantic domains of all subsystems needed to develop control system functions, as well as the modeling techniques for each domain. The result is complemented by modeling subsystems using an extended version of Mark Flow Graph (E-MFG with communicators). This task has the assistance of a modified use case version from “Unified Modeling Language" to collect requirements before modeling.

Devido às necessidades do mundo moderno, os sistemas de automação têm aumentado sua complexidade, fazendo com que sejam desenvolvidas ferramentas de engenharia cada vez mais poderosas para modelá-los e analisá-los. Em sistemas de automação industrial, os Controladores Lógicos Programáveis (CLPs) têm sido amplamente empregados. Os CLPs são geralmente programados por meio da linguagem de programação Ladder, uma das cinco linguagens definidas pela IEC 61131-3. Entretanto, apesar da linguagem de programação Ladder ser flexível e de fácil aprendizado por parte dos usuários, ela apresenta limitações quanto à: detecção de erros no algoritmo de controle do sistema de automação; torna as modificações muito trabalhosas e não possibilita a simulação, análise de performance e análise operacional do sistema. Este trabalho de pesquisa apresenta o desenvolvimento e os testes da metodologia denominada MARPASI - Metodologia de Aplicação das Redes de Petri em Automação de Sistemas Industriais. Como o desenvolvimento da MARPASI foi efetuado baseado na teoria de Redes de Petri, este trabalho também apresenta uma revisão bibliográfica sobre o tema de aplicação de Redes de Petri para a programação de CLP. A MARPASI possibilita analisar um sistema de automação por meio das Redes de Petri e na geração da linguagem de programação Ladder. Portanto, o emprego da MARPASI contribui para a otimização do processo de engenharia de automação e também para a programação mais eficiente de CLPs. / Due to the needs of the modern world, the systems of automation have increased their complexity, forcing the development of ever more powerful engineering tolls to shape and analyse them. In systems of industrial automation, the Programmable Logic Controllers (PLCs), have been widely applies. The PLCs are generally programmed through the use of the Ladder programming language, one of the five languages defined by the IEC 61131-3. Unfortunately, while the Ladder programming language is flexible, and easily learned by its users, it evinces limitations concerning: error detection in the control algorithm of the automation system: makes modifications very laborious and does not allow any simulation, performance analysis and operational systems analysis. This study presents the development and tests of the methodology denominated as MARPASI - Methodology of the application of Petri Net in the automation of industrial systems. Since the development of MARPASI was made based on Petri Net Theory, this study also presents a bibliographic review about the theme of the application of Petri Net for the programming of PLC. MARPASI makes it possible to analyse a system of automation through Petri Net and in the generation of the Ladder programming language. Because of these, the utilization of MARPASI contributes for capacities, the optimization of automation engineering processes, and also for a more efficient programming of the PLCs.

No mercado global e digital, as empresas são desafiadas a encontrar caminhos inovadores para atender o aumento da pressão -competitiva. A competição é uma das formas de interação das organizações, além da colaboração e da cooperação. A cooperação e a colaboração apresentam formas de produzir conjuntamente aumentando o potencial de atendimento das empresas. Os desafios mais encontrados no mercado são: reduzir os custos, sempre assegurar qualidade e personalizar os produtos e serviços. Um fenômeno de negócios comum hoje é a terceirização da manufatura e da logística para fornecedores domésticos e estrangeiros e provedores de serviços. Essa terceirização provoca, intrinsecamente, um espalhamento geográfico da produção em novos centros que oferecem vantagens nos recursos energéticos, matérias primas e centros de produção de conhecimento. Essa terceirização pode ser realizada também nas formas de colaboração e cooperação. Para isso, as empresas necessitam estabelecer uma forma de confiança entre si. No conceito de empresa virtual, a confiança é amplamente discutida para atingir uma colaboração e/ou cooperação entre empresas. O objetivo deste trabalho é propor e modelar uma ferramenta que atenda as necessidades das empresas para colaboração e/ou cooperação entre elas, considerando suas necessidades de confiança. As empresas aqui são vistas como sistemas produtivos, com suas camadas de gerenciamento de negócios, de acordo com o padrão ANSI/ISA 95. Além disso, um tipo de interpretação da rede de Petri, chamada de rede de Petri produtiva é introduzida como ferramenta para descrever o processo produtivo realizado pelas empresas na forma de workflow. A modelagem dessa arquitetura do sistema produtivo utiliza técnicas de sistemas distribuídos, como a arquitetura orientada a serviços. Além disso, um dos enfoques é das necessidades para o desenvolvimento de novos produtos, que envolve o desafio de personalização. Testes foram realizados para avaliar a proposta de workflow com pessoas de diferentes níveis de conhecimento sobre os processos, sejam de manufatura, sejam de outras áreas. Já a arquitetura proposta foi submetida a um estudo analítico das hipóteses levantadas no ambiente colaborativo. / In global and digital market, companies are challenged tof ind innovative ways to meet the increased competitive pressure. Competition is one way of interacting for organizations, as well as collaboration and cooperation. Cooperation and collaboration have ways to produce together increasing the potential of companies of meeting demands. Challenges most commonly found on the market are reducing costs, always ensuring quality and customizing products and services. A common business phenomenon today is the outsourcing of manufacturing and logistics for domestic and foreign suppliers and service providers. This outsourcing causes, intrinsically, a geographical spread of production in new centers which offer advantages in energy resources, raw materials and knowledge production centers. This outsourcing can be done also in the ways of collaboration and cooperation. For this, companies need to establish a trust between them. In the concept of virtual enterprise, trust is widely discussed to achieve the collaboration and/or cooperation between companies. The goal of this work is proposing and modeling a tool that meets the needs of companies for collaboration among them, considering their trust needs. Companies are understand as productive systems, in here, with their business process management layers, according to the standard ANSI/ISA 95. In addition, a kind of interpretation of Petri net, called productive Petri net is introduced as a tool to describe the production process performed by companies as workow. The modeling of this architecture of productive system uses techniques of distributed systems, such as service-oriented architecture. Furthermore, one of the approaches is the need for developing new products, which involves the customization challenge. Tests were conducted to evaluate the proposal of workflow with people from different levels of knowledge about the processes, both manufacturing and other areas. And the proposed architecture was studied analytically with the hypotheses elaborated from the collaborative environment.