Building a PN Model: Task Ordering

The informal specification defines under what conditions the tasks

can be executed

Places represent conditions, Transitions represent task execution

Then

Building a Petri net Model

Example: Task Ordering

Task 1

Task 2

Task 3

Correct? NO

interpretation of this subnet

Diapositiva precedente

Diapositiva successiva

Torna alla prima diaposiva

Visualizza versione grafica