.
ExtendedPetriNets
.
Synchronize
Transition with two input and one output connections
Generated at 2025-09-15T18:21:10Z by
OpenModelica
OpenModelica 1.25.4 using
GenerateDoc.mos