This is an example to demonstrate in which way parallel activities can be modelled by a Petri net. When transition "Par1" fires (after 1 second), two branches are executed in parallel. After 6 seconds the two branches are synchronized in order to arrive at place "P6".

Before simulating the model, try to figure out whether branch P2-P3-P5 or branch P2-P4-P5 is executed.

Simulate for 7 seconds and plot the following variables:

  S1state, P1state, P2state, ..., P6state

Generated at 2024-06-17T18:20:35Z by OpenModelicaOpenModelica 1.22.4 using GenerateDoc.mos