Candidate: Henri Carlo Belan
Program: UFSC / POSMEC
Date: April, 2007
Advisor: Victor Juliano De Negri
Co-advisor: José Eduardo Ribeiro Cury
Abstract: This study presents a proposal of formalization for the Channel/Instance Petri net structure (C/I net). The C/I net is a functional and structural model used mainly in the conceptual design phase of technical systems, particularly in automatic systems. Therefore it is a useful tool for situations where there exists the need of a model capable to integrate and to optimize different aspects inherent to design, so that it adapts itself to several technologies and make possible an effective interaction among the involved staff. Graphically C/I net is a bipartite directed graph, composed by two basic elements: active units represented by rectangles and passive units represented by circles, connected by directed edges representing the resource flow. The proposed formalism consists in generating mathematical model equivalent to the graphic model structure, based on the theory of sets, functions and matrixes, similar to the marked Petri nets. With the formalism inserted in the C/I net, the elaboration of mathematical methods of analysis and synthesis of the net becomes possible. In this master’s degree work, the procedures of analysis of structural coherence, of flow of resources and dependence, will be exposed as well as the condensation procedures and compatibility verification among C/I nets. These Procedures can be used like guide for the creation of a computational tool capable to execute all the mathematical routines automatically. In order to validate the works described in this dissertation, all of the theoretical concepts are applied in the project of a speed regulator for the hydraulic power plant Passo do Inferno, which uses a Francis turbine with 1.665 kVA of nominal power. The analysis methods and C/I net, now formal, are applied to the hydraulic power plant in order to obtain a coherent general model, based on a hierarchy of C/I nets, capable to represent the system as a whole. The refinements, using specific diagrams, are restricted to the hydraulic potency unit and the hydraulic systems that act in the speed regulator.
BELAN, H. C. Formalização da Rede de Petri Canal/Agência para Projeto de Equipamentos Industriais. 2007. Dissertação (Mestrado em Engenharia Mecânica). Universidade Federal de Santa Catarina, Florianópolis.