Choice

We use high-level Petri nets:

• tokens have values: case variables

• transitions determine the number of tokens produced:

explicit OR-split

Diapositiva precedente Diapositiva successiva Torna alla prima diaposiva Visualizza versione grafica