Redes de petri (Livro)

REDES DE PETRI

JC

RV

RdP

JANETTE CARDOSO
ROBERT VALETTE

A rede de Petri ´ um modelo e matem´tico com representa¸˜o a ca gr´fica que vem sendo amplamente
a.
utilizado, h´ mais de 30 anos, em a v´rios dom´ a ınios de atua¸˜o, entre os ca quais destacam-se os sistemas de manufatura, de comunica¸ao, de c˜ transporte, de informa¸˜o, log´ ca ısticos e, de forma geral, todos os sistemas a eventos discretos. Especificar, analisar o comportamento l´gico, o avaliar o desempenho e implementar esses tipos de sistemas s˜o as a principais motiva¸oes para o uso c˜ da Rede de Petri.
Este livro trata, numa primeira parte, do modelo b´sico da rede de a Petri com suas defini¸˜es, co propriedades e a an´lise destas. a Na segunda parte, apresentam-se as extens˜es da rede de Petri que o permitem tratar os dados, o tempo e a intera¸ao com o ambiente externo. c˜ Finalizando, um ultimo cap´
´
ıtulo aborda temas recentes de pesquisa sobre o uso da Rede de Petri associada as l´gicas nebulosa e linear
` o e a sua aplica¸ao ao estudo de c˜ sistemas h´ ıbridos. Atrav´s deste livro, os autores e colocam sua larga experiˆncia de e ensino e pesquisa em rede de Petri a disposi¸ao dos professores,
`
c˜ estudantes e engenheiros que pretendem se familiarizar com este assunto, apresentando um suporte completo e atualizado para disciplinas de gradua¸ao e p´s-gradua¸˜o c˜ o ca de cursos de inform´tica, engenharias a de automa¸ao, el´trica e de produ¸ao c˜ e c˜ entre outros.
Jean-Marie Farines

Janette Cardoso
Robert Valette

Redes de Petri

Florian´polis o 1997

Para Thomas
Janette

Para Marly, Fabien e Aline
Robert

Conte´ do u Lista de Figuras

5

´
Prefacio

7

I

Modelo B´sico a 10

´
1 Vocabulario e Conceitos
1.1 Sistemas discretos . . . . . . . . . . . . . . . . .
1.2 No¸oes b´sicas . . . . . . . . . . . . . . . . . . . c˜ a
1.2.1 Conceitos utilizados na modelagem .