Efetuar Teste

Uma transição fonte não têm nenhuma etapa a montante.

Uma etapa poço têm apenas uma transição a jusante.

Quando uma transição está validada e a recetividade associada é verdadeira, a transição não é disparada.

Um predicado é uma expressão lógica que contém uma ou mais variáveis.

A variável Xi representa uma variável booleana tal que

Numa etapa fonte, quantas transições existem a montante?

Duas transições podem estar ligadas diretamente entre si.

Uma etapa pode ser ligada a várias transições a jusante através de:

O tempo de duração de uma ação contínua...

A divergência OU é representada por um traço horizontal com uma ligação a montante e


Nota: Algumas perguntas estão conforme o acordo ortográfico antigo.