.
ExtendedPetriNets
.
Extensions
.
SynchronizeNoCondition
Transition with two input and one output connections
Generated at 2025-07-12T18:21:06Z by
OpenModelica
OpenModelica 1.25.1 using
GenerateDoc.mos