.
ExtendedPetriNets
.
Place01
Place with one output transition
Generated at 2026-06-25T20:19:00Z by
OpenModelica
OpenModelica 1.26.9 using
GenerateDoc.mos
.ExtendedPetriNets.Place01