Reachability/Coverability Graph Results

Generating Reachability graph took 0.273s

Constructing it took 0.666s
Total time was 0.939s

ESTADO M(P0, P1, P2, P3, P4, P5, P6, P7, P8, P9, P10, P11)
S0 ( ESTADO INICIAL) { 1, 1, 1, 1, 0, 0, 0, 0, 1, 1, 1, 1 }
S1 { 0, 0, 1, 1, 1, 0, 0, 0, 1, 0, 1, 1 }
S2 { 0, 1, 1, 0, 0, 0, 0, 1, 1, 1, 1, 0 }
S3 { 1, 1, 0, 0, 0, 1, 0, 0, 0, 1, 1, 1 }
S4 { 1, 0, 0, 1, 0, 0, 1, 0, 1, 1, 0, 1 }
S5 { 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 1, 1 }
S6 { 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 0, 0 }
Limitabilidade e Segurança: A rede é segura pois todos os lugares possuem somente 1 ou nenhuma marca, em qualquer estado.

Vivacidade:

TRANSICAO VIVACIDADE
T1 L3-Viva
T2 L3-Viva
T3 L3-Viva
T4 L3-Viva
T5 L3-Viva
T6 L3-Viva

Reversibilidade:

Esta rede de Petri é reversível e o estado desejado é S0, também é estado de origem do sistema

Persistência:

Esta rede de Petri não é persistente, pois algumas transições desabilitam outras, por exemplo:

- De S0, acionando a transição T3, as transições T0 e T2, que antes estavam habilitadas, são bloqueadas.

- De S0, acionando a transição T0, as transições T1 e T3, que antes estavam habilitadas, são bloqueadas.

Equidade

As transições T3 e T4 são incondicionalmente iguais

As transições T1 e T6 são incondicionalmente iguais

As transições T2 e T7 são incondicionalmente iguais

As transições T0 e T5 são incondicionalmente iguais

Todas as transições também são incondicionalmente iguais, pois encontra-se uma sequência de disparos em que a frequência de disparos das transições é a
mesma.