.
ExtendedPetriNets
.
Place01
Place with one output transition
Generated at 2025-05-08T18:20:46Z by
OpenModelica
OpenModelica 1.25.0 using
GenerateDoc.mos
.ExtendedPetriNets.Place01