.ExtendedPetriNets.Examples.Parallel

Information

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 2020-02-25T02:36:12Z by OpenModelicaOpenModelica 1.16.0~dev-202-gf162868 using GenerateDoc.mos