A integração de sistemas de manufatura tem sido assunto de diversas pesquisas e investigações. Uma forma de se obter tal integração consiste no desenvolvimento de um sistema de informações apropriado para gerenciar a troca de informações e dados entre subsistemas de uma fabrica. A complexidade da fábrica e de seus subsistemas sugere a utilização de uma metodologia que possa além de modelar essa troca de informações, definirem a política de controle dessas trocas. Mark Flow Graph, uma técnica derivada de redes de Petri, e production flow schema tem definido uma metodologia MFG/PFS, que demonstrou-se ser uma ferramenta eficiente para modelar e especificar sistemas produtivos. A proposta desse trabalho e investigar a modelagem e especificação de sistemas de informações utilizando a metodologia mfg/pfs. Modelos adequados para sistemas de informações são construídos, baseados nas caracteristicas de sistemas produtivos. A analise dos modelos também é considerada, incluindo tópicos relacionados a validação e analise quantitativa. O trabalho fornece também três exemplos de sistemas de informações aplicados em três níveis distintos de abstração da fábrica.

Integration of manufacturing systems has been a subject of several researches and investigations. One way to achieve such integration is to develop a proper information system to manage the information and data Exchange between subsystems in a factory. The complexity of the factory and its subsystems suggests the employment of a methodology that can property model this Exchange of information, as well as define the policy of controlling these exchanges. Mark Flow Graph, a technique derived from Petri nets, and Production Flow Schema have defined a methodology called MFG/PFS, which has demonstrated to be a effficient tool to model and specify the control of production systems. The purpose of this research is to investigate the modelling and specification of information systems by using a methodology based in MFG/PFS. Appropriate models for information systems are constructed, based on operational features of production systems. The analysis of the models i salso considered, incluiding topics related to validation and quantitative analysis. The research provides also three examples of information systems applied in three levels of abstraction in the factory.