Apostila Pipeline
11181 palavras
45 páginas
Rede de Petri e o aplicativo Platform Independent Petri netEditor (PIPE)
Caio Cesar Fattori; Célia Hanako Kano, Fabrício Junqueira, Paulo Eigi Miyagi
Escola Politécnica da Universidade de São Paulo
30 de julho de 2012
Lista de Figuras
1.1
A) Representação grá ca dos elementos da RdP; B) Exemplo de RdP como modelo de um processo. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
6
1.2
Complemento de capacidade dos lugares . . . . . . . . . . . . . . . . . . . . . . . . . . . .
7
1.3
Complemento de peso dos arcos orientados
. . . . . . . . . . . . . . . . . . . . . . . . . .
7
1.4
Complemento de arco orientado inibidor . . . . . . . . . . . . . . . . . . . . . . . . . . . .
8
1.5
Representação grá ca da transição temporizada na RdP T-temporizada
. . . . . . . . . .
8
1.6
Representação em RdP de duas atividades em sequência . . . . . . . . . . . . . . . . . . .
9
1.7
Representação do paralelismo em RdP de duas atividades com a mesma condição inicial .
1.8
Representação em RdP da sicronização de duas atividades.
. . . . . . . . . . . . . . . . .
10
1.9
Representação em RdP do con ito entre duas atividades . . . . . . . . . . . . . . . . . . .
10
9
1.10 Representação em RdP do compartilhamento de recursos entre atividades de dois processos distintos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
10
2.1
Problema Dining Philosophers de Dijkstra . . . . . . . . . . . . . . . . . . . . . . . . . . .
14
2.2
Modelo
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
14
2.3
Classi cação de uma Rede de Petri . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
17
2.4
Rede de Petri - exemplo para análise.
Dining Philosophers
. . . . . . . . . . . . . . . . . . . . . . . . . . . . .
19
. . . . . . . . . . . .