modelParallel
Example to demonstrate parallel activities described by a petri net
Extends from Modelica.Icons.Example.
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
Components
| Type | Name | Default | Description |
|---|---|---|---|
| Boolean | S1state | ||
| Boolean | P1state | ||
| Boolean | P2state | ||
| Boolean | P3state | ||
| Boolean | P4state | ||
| Boolean | P5state | ||
| Boolean | P6state | ||
| PetriNets.Place01 | S1 | ||
| PetriNets.Place11 | P1 | ||
| PetriNets.Parallel | Par1 | ||
| PetriNets.Place12 | P2 | ||
| PetriNets.Transition | T1 | ||
| PetriNets.Transition | T2 | ||
| PetriNets.Place11 | P3 | ||
| PetriNets.Transition | T3 | ||
| PetriNets.Place11 | P4 | ||
| PetriNets.Transition | T4 | ||
| PetriNets.Place21 | P5 | ||
| PetriNets.Synchronize | Sync1 | ||
| PetriNets.Place10 | P6 |