Neste trabalho e proposta a abordagem TempER-Tr, uma técnica de modelagem conceitual, fundamentada em rede de Petri, que integra a especificação das propriedades dinâmicas de um sistema a um modelo de dados temporal do tipo entidade relacionamento. Um modelo ou esquema conceitual descreve as propriedades identificadas de um sistema a ser desenvolvido. Estas propriedades podem ser classificadas em propriedades estáticas e propriedades dinâmicas As propriedades estáticas descrevem os estados que o sistema pode alcançar, enquanto que as propriedades dinâmicas descrevem as transições entre estes estados. A modelagem conceitual das propriedades estáticas é normalmente conhecida como modelagem de dados. A modelagem das propriedades dinâmicas é denominada de modelagem funcional ou comportamental. Mais especificamente, o modelo TempER-Tr é uma extensão de um trabalho anterior, conhecido como ER-Tr. No modelo ER-Tr, para descrever as propriedades estáticas de um sistema utiliza-se o modelo entidade-relacionamento convencional. No modelo TempER-Tr passa-se a adotar um modelo entidade-relacionamento temporal. Aliado a isto, uma nova linguagem de anotação, baseada em SQL, com mais poder de expressão é proposta. O modelo entidade-relacionamento convencional não possui dispositivos de modelagem capazes de especificar restrições que envolvam a associação dos objetos com o tempo, exigindo que isto se faca ao nível da modelagem das propriedades dinâmicas. Em um modelo entidade-relacionamento convencional, os conjuntos de entidades e relacionamentos apresentam apenas duas dimensões: a primeira refere-se as instâncias (linhas) e a segunda aos atributos (colunas). Em uma abordagem entidade relacionamento temporal, uma nova dimensão e acrescentada: o eixo temporal, possibilitando que as restrições temporais decorrentes da associação entre os objetos possam ser especificadas ao nível do modelo estático. Um requisito importante a ser preenchido por um modelo de dados temporal é permitir que em um mesmo diagrama seja possível associar objetos (entidades, relacionamentos ou atributos) temporalizados com objetos não temporalizados. lsto porque em sistemas de informação alguns dados precisam ser explicitamente referenciados ao tempo e outros não, ou porque não mudam com o tempo, ou porque é irrelevante ao usuário saber quando os fatos ocorreram. O modelo de dados temporal proposto neste trabalho, denominado TempER, pressupõe que todas as entidades, sejam elas temporalizadas ou não temporalizadas, apresentam uma "existência", ou seja, uma validade temporal. No caso das entidades temporalizadas esta existência é um subconjunto de pontos do eixo temporal. Em virtude disto são chamadas de entidades transitórias. Em relação as entidades não temporalizadas, e assumido que "existem sempre", ou seja, a sua validade temporal é constante, implícita e igual a todo o eixo temporal. Por isto são denominadas entidades perenes. Tanto as entidades transitórias quanto as entidades perenes, são focalizadas pelo modelo TempER através de duas perspectivas: uma intemporal e outra temporal. Através da perspectiva intemporal as entidades apresentam duas dimensões, semelhança do que ocorre em um modelo entidade-relacionamento convencional. Através da perspectiva temporal as entidades apresentam três dimensões, as duas convencionais e mais o tempo. Enquanto que o modelo de dados temporal descreve as propriedades estáticas de um sistema, o modelo comportamental, a outra face da abordagem TempER-Tr, focaliza as transações executadas no interior do sistema, em resposta a eventos que ocorrem no ambiente externo. Estas transações, quando efetivadas, provocam mudanças de estados no sistema. Entretanto, para estarem habilitadas a ocorrer, é necessário que um determinado conjunto de restrições dinâmicas sejam atendidas, o que se configura em um comportamento análogo ao de uma rede de Petri. O modelo TempER-Tr é completamente mapeável, inclusive o modelo de dados temporal, para a rede CEM, um tipo de rede de Petri de alto nível. Isto permite que a sua semântica seja formalmente especificada e possibilita o aproveitamento das características das redes de Petri. / This dissertation presents TempER-Tr approach. TempER-Tr is a conceptual modeling technique based on Petri nets that integrates the specification of the dynamic properties of system to a temporal entity-relationship data model. A model or conceptual schema describes the identified properties of a system. These properties can be classified into static and dynamic properties. The static properties describe the states that the system can reach, while the dynamic properties describe the transitions between the states. The conceptual modeling of the static properties is usually known as data modeling, while behavioral or functional modeling deals with dynamic properties. The TempER-Tr model is an extension of a model known as ER-Tr. In the ER-Tr model, the conventional entity-relationship model is used to describe the static properties of a system. In the TempER-Tr model, it is adopted a kind of temporal entityrelationship model. In addition, a new notation language is proposed, based on SQL, with more expression power. The conventional entity-relationship model doesn't provide tools to specify constraints that involve the association of objects with the time dimension, requiring that this have to be done at the dynamic properties modeling level. At the conventional entityrelationship model the entities and relationships sets present just two dimensions: the first one is related to the instance (lines) and the second to the attributes (columns). At a temporal entity-relationship approach, a new dimension is added: the time line. This way, the temporal constraints can be specified at the level of the static diagrams. An important requirement to be supplied by any temporal data model is the possibility to relate, into the same diagram, time-varying objects with time-invarying objects. This is due to the fact that in information systems some data need to be explicitly related to time and others don't, either because they don't change with time, or because users don't need to know when the facts occurred. • The temporal data model proposed in this work, nominated TempER, presupposes that all entities, being them time-varying or time-invarying, have an "existence", or a temporal validity. At the time-varying entities, named transitory entities, this existence is a subset of points from the time line. In time-invarying entities, named perennial entities, it is assumed that they "always exist", i.e., their temporal validity is constant, implicit, and equal to all points of the time line. Transitory entities, as much as perennial entities, are focused by the TempER model through two perspectives: a temporal perspective and a non-temporal perspective. Through the non-temporal perspective the entities present two dimensions - lines and columns - similar to a conventional entity-relationship model. Through the temporal perspective the entities present three dimensions: the two conventional dimensions and, in addition, the time dimension. While the temporal data model describes the static properties of a system, the behavioral model in the TempER-Tr approach focus the transactions that are executed by the system, in response to the events that occur at the external environment. A certain set of dynamic constraints must be attended so that transactions are enable to occur. This configures a behavior similar to a Petri net. The TempER-Tr model is completely mappeable, inclusive the temporal data model, to the CEM net, a kind of high level Petri net. This way, the semantic of TempER-Tr model is formally specified. In addition, the utilization of the characteristics of Petri nets is possible.

Neste trabalho e proposta a abordagem TempER-Tr, uma técnica de modelagem conceitual, fundamentada em rede de Petri, que integra a especificação das propriedades dinâmicas de um sistema a um modelo de dados temporal do tipo entidade relacionamento. Um modelo ou esquema conceitual descreve as propriedades identificadas de um sistema a ser desenvolvido. Estas propriedades podem ser classificadas em propriedades estáticas e propriedades dinâmicas As propriedades estáticas descrevem os estados que o sistema pode alcançar, enquanto que as propriedades dinâmicas descrevem as transições entre estes estados. A modelagem conceitual das propriedades estáticas é normalmente conhecida como modelagem de dados. A modelagem das propriedades dinâmicas é denominada de modelagem funcional ou comportamental. Mais especificamente, o modelo TempER-Tr é uma extensão de um trabalho anterior, conhecido como ER-Tr. No modelo ER-Tr, para descrever as propriedades estáticas de um sistema utiliza-se o modelo entidade-relacionamento convencional. No modelo TempER-Tr passa-se a adotar um modelo entidade-relacionamento temporal. Aliado a isto, uma nova linguagem de anotação, baseada em SQL, com mais poder de expressão é proposta. O modelo entidade-relacionamento convencional não possui dispositivos de modelagem capazes de especificar restrições que envolvam a associação dos objetos com o tempo, exigindo que isto se faca ao nível da modelagem das propriedades dinâmicas. Em um modelo entidade-relacionamento convencional, os conjuntos de entidades e relacionamentos apresentam apenas duas dimensões: a primeira refere-se as instâncias (linhas) e a segunda aos atributos (colunas). Em uma abordagem entidade relacionamento temporal, uma nova dimensão e acrescentada: o eixo temporal, possibilitando que as restrições temporais decorrentes da associação entre os objetos possam ser especificadas ao nível do modelo estático. Um requisito importante a ser preenchido por um modelo de dados temporal é permitir que em um mesmo diagrama seja possível associar objetos (entidades, relacionamentos ou atributos) temporalizados com objetos não temporalizados. lsto porque em sistemas de informação alguns dados precisam ser explicitamente referenciados ao tempo e outros não, ou porque não mudam com o tempo, ou porque é irrelevante ao usuário saber quando os fatos ocorreram. O modelo de dados temporal proposto neste trabalho, denominado TempER, pressupõe que todas as entidades, sejam elas temporalizadas ou não temporalizadas, apresentam uma "existência", ou seja, uma validade temporal. No caso das entidades temporalizadas esta existência é um subconjunto de pontos do eixo temporal. Em virtude disto são chamadas de entidades transitórias. Em relação as entidades não temporalizadas, e assumido que "existem sempre", ou seja, a sua validade temporal é constante, implícita e igual a todo o eixo temporal. Por isto são denominadas entidades perenes. Tanto as entidades transitórias quanto as entidades perenes, são focalizadas pelo modelo TempER através de duas perspectivas: uma intemporal e outra temporal. Através da perspectiva intemporal as entidades apresentam duas dimensões, semelhança do que ocorre em um modelo entidade-relacionamento convencional. Através da perspectiva temporal as entidades apresentam três dimensões, as duas convencionais e mais o tempo. Enquanto que o modelo de dados temporal descreve as propriedades estáticas de um sistema, o modelo comportamental, a outra face da abordagem TempER-Tr, focaliza as transações executadas no interior do sistema, em resposta a eventos que ocorrem no ambiente externo. Estas transações, quando efetivadas, provocam mudanças de estados no sistema. Entretanto, para estarem habilitadas a ocorrer, é necessário que um determinado conjunto de restrições dinâmicas sejam atendidas, o que se configura em um comportamento análogo ao de uma rede de Petri. O modelo TempER-Tr é completamente mapeável, inclusive o modelo de dados temporal, para a rede CEM, um tipo de rede de Petri de alto nível. Isto permite que a sua semântica seja formalmente especificada e possibilita o aproveitamento das características das redes de Petri. / This dissertation presents TempER-Tr approach. TempER-Tr is a conceptual modeling technique based on Petri nets that integrates the specification of the dynamic properties of system to a temporal entity-relationship data model. A model or conceptual schema describes the identified properties of a system. These properties can be classified into static and dynamic properties. The static properties describe the states that the system can reach, while the dynamic properties describe the transitions between the states. The conceptual modeling of the static properties is usually known as data modeling, while behavioral or functional modeling deals with dynamic properties. The TempER-Tr model is an extension of a model known as ER-Tr. In the ER-Tr model, the conventional entity-relationship model is used to describe the static properties of a system. In the TempER-Tr model, it is adopted a kind of temporal entityrelationship model. In addition, a new notation language is proposed, based on SQL, with more expression power. The conventional entity-relationship model doesn't provide tools to specify constraints that involve the association of objects with the time dimension, requiring that this have to be done at the dynamic properties modeling level. At the conventional entityrelationship model the entities and relationships sets present just two dimensions: the first one is related to the instance (lines) and the second to the attributes (columns). At a temporal entity-relationship approach, a new dimension is added: the time line. This way, the temporal constraints can be specified at the level of the static diagrams. An important requirement to be supplied by any temporal data model is the possibility to relate, into the same diagram, time-varying objects with time-invarying objects. This is due to the fact that in information systems some data need to be explicitly related to time and others don't, either because they don't change with time, or because users don't need to know when the facts occurred. • The temporal data model proposed in this work, nominated TempER, presupposes that all entities, being them time-varying or time-invarying, have an "existence", or a temporal validity. At the time-varying entities, named transitory entities, this existence is a subset of points from the time line. In time-invarying entities, named perennial entities, it is assumed that they "always exist", i.e., their temporal validity is constant, implicit, and equal to all points of the time line. Transitory entities, as much as perennial entities, are focused by the TempER model through two perspectives: a temporal perspective and a non-temporal perspective. Through the non-temporal perspective the entities present two dimensions - lines and columns - similar to a conventional entity-relationship model. Through the temporal perspective the entities present three dimensions: the two conventional dimensions and, in addition, the time dimension. While the temporal data model describes the static properties of a system, the behavioral model in the TempER-Tr approach focus the transactions that are executed by the system, in response to the events that occur at the external environment. A certain set of dynamic constraints must be attended so that transactions are enable to occur. This configures a behavior similar to a Petri net. The TempER-Tr model is completely mappeable, inclusive the temporal data model, to the CEM net, a kind of high level Petri net. This way, the semantic of TempER-Tr model is formally specified. In addition, the utilization of the characteristics of Petri nets is possible.

Considerando as complexidades envolvidas no processo de tomada de decisão nas organizações de hoje, é fácil ver que este processo representa um ponto importante para a obtenção de vantagens na competição pelo mercado. Portanto, observa-se que a função de gerenciamento é fundamental para a empresa, seja qual for o seu setor de atividade, tamanho, complexidade e tecnologia dos produtos ou serviços por ela oferecidos. Por este motivo, é importante que seja dada uma atenção particular ao aperfeiçoamento desta função e, para que isto seja possível, é necessário que, primeiro, seja feita uma análise detalhada do Sistema de Gerenciamento existente na empresa através da utilização de uma ferramenta que permita criar um modelo que represente as informações necessárias. De acordo com esta necessidade, este trabalho tem como objetivo propor uma técnica que auxilia na criação do modelo da Estrutura de Decisão associada ao Sistema de Gerenciamento da empresa. A técnica descrita está baseada no método de refinamentos sucessivos, e visa permitir que, a partir do modelo macro da estrutura de decisão, sejam criados modelos específicos, com um nível de formalização adequado para a implementação de sistemas de informação automatizados, que possam apoiar o processo da tomada de decisão. A preocupação principal foi propor uma técnica que forneça a facilidade de uma ferramenta gráfica, a qual permita um rápido aprendizado e proporcione ao analista um canal de comunicação com o usuário, assim como também permita a criação de um modelo com um alto grau de detalhamento. Para que isto seja possível a proposta alia o uso das Redes de Petri e do modelo TF-ORM. Ao final é apresentado um estudo de caso focando a estrutura de decisão em um ambiente de manufatura, o qual é utilizado para mostrar a aplicação prática da técnica. / Considering the complexities involved in the process of decision-taking in organizations nowadays, it is easy to realize that this process represents an important point in the acquisition of advantages concerning the competition for the market. Therefore, it is observed that the function of the management is fundamental to the enterprise, whatever its section of activity, size, complexity, technology of its products or services are. That is why it is important to give particular attention to the improvement of that function, and for that to be possible, first it is necessary to do a detailed analysis of the Management System that exists in the enterprise through the utilization of a tool which permits to create a model to represent the needed information. According to this necessity, this paper proposes a technique which helps in the creation of a model of the Decision Structure associated with the Enterprise Management System. This technique has been based on the method of successive refinement and aims at allowing to be created, from the macro model of the decision structure, specific models and with a formalization level adequate to the implement of automatic information's systems that can support the process of decision-taking. The goal was to propose a technique that provides the facility of a graphic tool and permits a fast learning, providing the analyst with a way to communicate with the user, as well as it should permit the creation of a model with a high level of details. For this to be possible, the proposal associates the use of Petri Nets and TF-ORM model together. At the end a case study focusing on the decision structure in a manufacturing environment, with is used to show the practical application of the technique is presented.

The advance of medicine and Information Technology (IT) has allowed the emergence of new techniques and medical device to provide direct or indirect improvements to the people's health, such as the minimally invasive surgical techniques and new devices for diagnosis and patient monitoring (HOLSBACH; NETO; HOLSBACH, 2013). The use of such devices provides a better diagnosis procedure and better diseases treatment, shorter hospital stay, convenience and privacy, as well as the possibility of the patient to proceed with home treatment. However, the growth of the number of devices is not always based on quality. The poor quality of such device is a problem that may compromise people's health. Therefore, in order to mitigate the risks of failures during the development of these medical devices, the manufacturers must follow safety standards specifications, such as the International Organization for Standardization (ISO) 14971 (ABNT - ASSOCIAÇÃO BRASILEIRA DE NORMAS TÉCNICAS, 2009) and the technique Failure Mode, Effects and Criticality Analysis (FMECA). The ISO 14971 was specified to guide the controls and basic care to be observed by the manufacturer throughout the development of all stages during the medical device's life cycle. According to this standard, security is freedom from unacceptable risk, and the discovery and verification if the risk is unacceptable or not happen during the risk management process. However the ISO 14971 was described in natural language, which is an error-prone description, ambiguous and is susceptible to problems such as misunderstanding of the stages of the risk management process, creating too complex process which will be difficult to be applied or too simplistic that does not address all risk management. Within this context, we use the ISO 14971 standard with the FMECA technique to provide a case study that performs the security specification of the Electrogastrography (EGG) device. This case study was performed at the Federal University of Alagoas Hospital, with the support of an expert in the development of biomedical signal acquisition systems. This case study was the basis to develop a Colored Petri Net that describes the risk management process, reducing the problems on natural language descriptions. In addition, this model helps in the verification and the validation steps of medical devices manufacturing and allows the use of modeling as a tool for teaching and training the risk management process. / O avanço da medicina e da tecnologia da informação (TI) tem propiciado o surgimento de novas técnicas e equipamentos que, gradativamente, oferecem melhorias diretas ou indiretas à saúde dos pacientes como, por exemplo, as técnicas cirúrgicas minimamente invasivas e os novos equipamentos para diagnóstico e monitoramento de pacientes (HOLSBACH; NETO; HOLSBACH, 2013). É com a utilização destes equipamentos que se torna possível ter melhores condições de diagnóstico e tratamento de doenças, menor tempo de internação, maior praticidade e privacidade, permitindo inclusive ao paciente proceder com o tratamento domiciliar, contudo, o crescimento da quantidade de dispositivos nem sempre está aliada à qualidade. A má qualidade destes equipamentos é um problema que pode comprometer a saúde do paciente e do operador e, por isso, se faz necessária a utilização de técnicas e padrões que permitam a fabricação de equipamentos médicos mais seguros, tais como a técnica Análise dos Modos de Falha Efeitos e Criticidade (FMECA) e o padrão International Organization for Standardization (ISO) 14971 (ABNT - ASSOCIAÇÃO BRASILEIRA DE NORMAS TÉCNICAS, 2009). A ISO 14971 foi desenvolvida com o propósito de indicar os controles e os cuidados básicos que devem ser observados pelo fabricante em todo o ciclo de vida de um equipamento médico. De acordo com esta ISO, segurança é a ausência de riscos não aceitáveis e a verificação se os riscos encontrados são aceitáveis ou não acontece durante o processo de gerenciamento de risco, porém, os fabricantes ao adotar o gerenciamento de risco descrito em linguagem natural, que é ambígua, estão suscetíveis a problemas tais como, falta de compreensão das etapas do processo de gerenciamento de risco, criação de processo demasiadamente complexo ao qual terão dificuldade de aplicar ou simplista demais que não contempla todo o gerenciamento de risco. Com a finalidade de solucionar o supracitado problema é apresentado neste trabalho um estudo de caso explorando o processo de gerenciamento de risco baseado na ISO 14971 com a técnica FMECA, com o objetivo de realizar a especificação de segurança de um equipamento médico de Eletrogastrografia (EGG). Esse estudo de caso foi realizado no Hospital Universitário da Universidade Federal de Alagoas e contou com o auxílio de um especialista em desenvolvimento de sistemas de aquisição de sinais biomédicos. Esse estudo é a base para a construção do modelo formal em Redes de Petri Coloridas do processo de gerenciamento de risco. O modelo em Redes de Petri Coloridas auxilia no entendimento da ISO, ao reduzir a subjetividade inerente a descrição em linguagem natural. Além disto, este modelo auxilia nas etapas de verificação e validação do equipamento médico e possibilita uso do modelo como uma ferramenta didática para o ensino e treinamento do processo de gerenciamento de risco.

Considerando as complexidades envolvidas no processo de tomada de decisão nas organizações de hoje, é fácil ver que este processo representa um ponto importante para a obtenção de vantagens na competição pelo mercado. Portanto, observa-se que a função de gerenciamento é fundamental para a empresa, seja qual for o seu setor de atividade, tamanho, complexidade e tecnologia dos produtos ou serviços por ela oferecidos. Por este motivo, é importante que seja dada uma atenção particular ao aperfeiçoamento desta função e, para que isto seja possível, é necessário que, primeiro, seja feita uma análise detalhada do Sistema de Gerenciamento existente na empresa através da utilização de uma ferramenta que permita criar um modelo que represente as informações necessárias. De acordo com esta necessidade, este trabalho tem como objetivo propor uma técnica que auxilia na criação do modelo da Estrutura de Decisão associada ao Sistema de Gerenciamento da empresa. A técnica descrita está baseada no método de refinamentos sucessivos, e visa permitir que, a partir do modelo macro da estrutura de decisão, sejam criados modelos específicos, com um nível de formalização adequado para a implementação de sistemas de informação automatizados, que possam apoiar o processo da tomada de decisão. A preocupação principal foi propor uma técnica que forneça a facilidade de uma ferramenta gráfica, a qual permita um rápido aprendizado e proporcione ao analista um canal de comunicação com o usuário, assim como também permita a criação de um modelo com um alto grau de detalhamento. Para que isto seja possível a proposta alia o uso das Redes de Petri e do modelo TF-ORM. Ao final é apresentado um estudo de caso focando a estrutura de decisão em um ambiente de manufatura, o qual é utilizado para mostrar a aplicação prática da técnica. / Considering the complexities involved in the process of decision-taking in organizations nowadays, it is easy to realize that this process represents an important point in the acquisition of advantages concerning the competition for the market. Therefore, it is observed that the function of the management is fundamental to the enterprise, whatever its section of activity, size, complexity, technology of its products or services are. That is why it is important to give particular attention to the improvement of that function, and for that to be possible, first it is necessary to do a detailed analysis of the Management System that exists in the enterprise through the utilization of a tool which permits to create a model to represent the needed information. According to this necessity, this paper proposes a technique which helps in the creation of a model of the Decision Structure associated with the Enterprise Management System. This technique has been based on the method of successive refinement and aims at allowing to be created, from the macro model of the decision structure, specific models and with a formalization level adequate to the implement of automatic information's systems that can support the process of decision-taking. The goal was to propose a technique that provides the facility of a graphic tool and permits a fast learning, providing the analyst with a way to communicate with the user, as well as it should permit the creation of a model with a high level of details. For this to be possible, the proposal associates the use of Petri Nets and TF-ORM model together. At the end a case study focusing on the decision structure in a manufacturing environment, with is used to show the practical application of the technique is presented.

Considerando as complexidades envolvidas no processo de tomada de decisão nas organizações de hoje, é fácil ver que este processo representa um ponto importante para a obtenção de vantagens na competição pelo mercado. Portanto, observa-se que a função de gerenciamento é fundamental para a empresa, seja qual for o seu setor de atividade, tamanho, complexidade e tecnologia dos produtos ou serviços por ela oferecidos. Por este motivo, é importante que seja dada uma atenção particular ao aperfeiçoamento desta função e, para que isto seja possível, é necessário que, primeiro, seja feita uma análise detalhada do Sistema de Gerenciamento existente na empresa através da utilização de uma ferramenta que permita criar um modelo que represente as informações necessárias. De acordo com esta necessidade, este trabalho tem como objetivo propor uma técnica que auxilia na criação do modelo da Estrutura de Decisão associada ao Sistema de Gerenciamento da empresa. A técnica descrita está baseada no método de refinamentos sucessivos, e visa permitir que, a partir do modelo macro da estrutura de decisão, sejam criados modelos específicos, com um nível de formalização adequado para a implementação de sistemas de informação automatizados, que possam apoiar o processo da tomada de decisão. A preocupação principal foi propor uma técnica que forneça a facilidade de uma ferramenta gráfica, a qual permita um rápido aprendizado e proporcione ao analista um canal de comunicação com o usuário, assim como também permita a criação de um modelo com um alto grau de detalhamento. Para que isto seja possível a proposta alia o uso das Redes de Petri e do modelo TF-ORM. Ao final é apresentado um estudo de caso focando a estrutura de decisão em um ambiente de manufatura, o qual é utilizado para mostrar a aplicação prática da técnica. / Considering the complexities involved in the process of decision-taking in organizations nowadays, it is easy to realize that this process represents an important point in the acquisition of advantages concerning the competition for the market. Therefore, it is observed that the function of the management is fundamental to the enterprise, whatever its section of activity, size, complexity, technology of its products or services are. That is why it is important to give particular attention to the improvement of that function, and for that to be possible, first it is necessary to do a detailed analysis of the Management System that exists in the enterprise through the utilization of a tool which permits to create a model to represent the needed information. According to this necessity, this paper proposes a technique which helps in the creation of a model of the Decision Structure associated with the Enterprise Management System. This technique has been based on the method of successive refinement and aims at allowing to be created, from the macro model of the decision structure, specific models and with a formalization level adequate to the implement of automatic information's systems that can support the process of decision-taking. The goal was to propose a technique that provides the facility of a graphic tool and permits a fast learning, providing the analyst with a way to communicate with the user, as well as it should permit the creation of a model with a high level of details. For this to be possible, the proposal associates the use of Petri Nets and TF-ORM model together. At the end a case study focusing on the decision structure in a manufacturing environment, with is used to show the practical application of the technique is presented.