Introdução as Redes de Petri e a Modelagem de Sistemas
(Eduard Montgomery Meira Costa; Antonio M N Lima)
Neste livro se encontra uma visão geral sobre os sistemas, direcionando a estruturação da modelagem para uma especificidade discreta. Ou seja, sistemas como os denominados "feito pelo homem" ou sistemas a eventos discretos, que têm sua evolução dinâmica descrita pela ocorrência de eventos físicos que alteram seu estado, apresentam-se com uma característica específica de não linearidade e certa complexidade em descrever esta dinâmica em termos de equações matemáticas, como geralmente se faz com os sistemas lineares de controle. Dessa forma, algumas ferramentas específicas se mostram plausíveis para utilização na modelagem destes tipos de sistemas, sendo, algumas entre elas, gráficas. Entre elas, encontram-se os autômatos e as redes de Petri. Neste caso específico, o livro trabalha com a teoria das redes de Petri, detalhando passo a passo sua descrição gráfica, sua dinâmica, gramática associada, métodos de análise, descrição matemática entre outras, e apresenta claramente na forma de exemplos a construção de modelos de sistemas (como filas de bancos, alarmes em cofres, funcionamento de pistões, sistema automatizado com recursos compartilhados, etc.) definindo todas as regras para se aprender como fazer o modelo de seu sistema desejado. Deve-se observar que esta ferramenta é atualmente, um dos principais paradigmas de modelagem utilizados na construção de modelos de sistemas para automação industrial da manufatura, sendo bastante utilizada em inúmeros estudos desta área em nível de graduação, mestrado e doutorado. Além do mais, muitos trabalhos sobre esta ferramenta se encontra aplicando-a a outros sistemas de controle em forma generalizada. Dessa forma, este livro é importante ao estudante da área de computação, elétrica, automação, mecatrônica entre outras, e traz vários exercícios básicos para o treinamento de modelagem de sistemas diversos para a fixação do conhecimento.
Resumos Relacionados
- Sistemas Dinâmicos A Eventos Discretos: Fundamentos Para A Moderna Aut
- Álgebra De Dióides E Aplicações Aos Sistemas Dinâmicos A Eventos Discretos
- Utilizando Redes De Petri Multiplexadas Na Síntese De Supervisores De Sistemas A Eventos Discretos
- Utilizando LÓgica Temporal Na EspecificaÇÃo De Comportamentos De Seds
- Redes De Petri: Um Paradigma De Modelagem Para A Automação
|
|
