.
ExtendedPetriNets
.
Synchronize
Transition with two input and one output connections
Generated at 2026-03-09T19:14:00Z by
OpenModelica
OpenModelica 1.26.3 using
GenerateDoc.mos