RESOLUO

1 QUESTO

Nessa questo trabalhamos com trs lugares iniciais: a, b e j. Estes so os elementos

presentes na equao na qual queremos chegar. Para as transies colocamos nomes intuitivos para
destacar a operao matemtica que une os dois estados ou lugares. Para se chegar no ltimo lugar
precisamos ter uma marcao inicial unitria em cada lugar inicial.
2 QUESTO

Nessa questo trabalhamos com cinco lugares iniciais: a, b, c, 2 e 4. Da mesma forma na

questo anterior, temos que usar uma marcao inicial at a equao preterida. Algumas transies
so cpias, para usar um elemento em mais de uma operao.

3 QUESTO

4 QUESTO

Vemos que um transmissor envia uma mensagem para qualquer um dos dois receptores de
forma autnoma, ou seja, sem ocorrer sincronismo. E para o transmissor enviar uma nova
mensagem necessrio receber a confirmao do recebimento. A nossa rede marcada com apenas
uma ficha, ou seja, nenhum lugar vai possuir mais de uma ficha.

5 QUESTO

Nessa questo temos umas pequenas restries, como o acendimento do verde, apenas se o
vermelho e o amarelo estiverem ligados. Assim fizemos uma transio ser sensibilizada pela
marcao inicial e enviar uma ficha para vermelho e amarelo, sensibilizando assim o acendimento
do verde.

6 QUESTO

7 QUESTO

Vemos que temos uma mesa com cinco filsofos e cinco palitos, sendo que para um comer
precisa de dois palitos. Ento definimos peso 2 para o lugar filsofo comendo, assim, tiramos dois
palitos da mesa e indicamos um filsofo comendo. Depois do filsofo comer, ele devolve os dois
palitos mesa.

8 QUESTO

Trabalhamos em cima da marcao inicial dada na questo, vendo a umas restries:

estoque com no mximo trs peas, produtor s pode produzir uma pea por vez e consumidor s
pode consumir uma pea por vez. Assim criamos lugares para manusear essas restries: Pronto
para consumo, vai indicar que o estoque j pode enviar uma pea para o consumidor; Pronto para
produzir, informando que uma pea j foi para o estoque e assim comear a produzir outra pea e
Estoque disponvel, que vai fazer esse controle apenas trs peas irem para o estoque, liberando a
pea para estoque apenas se tiver ficha no lugar Produtor e Estoque disponvel.

9 QUESTO

Da mesma forma de algumas questes anteriores, temos algumas restries: Ocupar cabide,
apenas se estiver com cabine ocupada e cabide livre; Desocupar cabide, apenas se tiver com cabide
ocupado e com cabine livre. Apresentando as solues: utilizar dois arcos numa transio para fazer
restrio, e trabalhar com dois objetos distintos(cabine e cabide), ajudando com a marcao inicial.
10 QUESTO