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 2023-10-01T00:32:18Z by OpenModelicaOpenModelica 1.22.0~dev.02-2-ge84afdd using GenerateDoc.mos