Dadas as matrizes de pré-set e pós-set abaixo, apresente:
\mathrm{PRE}=\begin{aligned} & \mathrm{t} 1 \\ & \mathrm{t} 2 \\ & \mathrm{t} 3 \\ & \mathrm{t} 4 \end{aligned}\left[\begin{array}{cccc} \mathrm{e} 1 & \mathrm{e} 2 & \mathrm{e} 3 & \mathrm{e} 4 \\ 1 & 0 & 0 & 0 \\ 0 & 0 & 1 & 0 \\ 1 & 1 & 0 & 0 \\ 0 & 0 & 0 & 1 \end{array}\right] \mathrm{POS}=\begin{aligned} & \mathrm{t} 1 \\ & \mathrm{t} 2 \\ & \mathrm{t} 3 \\ & \mathrm{t} 4 \end{aligned}\left[\begin{array}{cccc} \mathrm{e} 1 & \mathrm{e} 2 & \mathrm{e} 3 & \mathrm{e} 4 \\ 0 & 0 & 1 & 0 \\ 1 & 0 & 0 & 0 \\ 0 & 0 & 1 & 1 \\ 0 & 1 & 0 & 0 \end{array}\right] \mathrm{M}=[1,1,0,0]

Passo 1

Reunindo o que temos no enunciado:
– Matrizes de pré-set e pós-set de um PN com quatro transições t_1,\dots,t_4 e quatro lugares e_1,\dots,e_4.
– Marcação inicial \displaystyle M=[1,1,0,0].

Passo 2

O enunciado termina em “apresente:” mas não especifica o que exatamente deve ser apresentado (por exemplo, matriz de incidência, conjunto de transições habilitadas em M, grafo de acessibilidade etc.).

Resposta

Não é possível dar uma solução completa pois não está claro qual resultado se deseja (incidência, habilitação, alcance, invariantes etc.). Peço que detalhe qual informação específica deve ser apresentada.

Exercícios relacionados