.
ExtendedPetriNets
.
Extensions
.
P10Capacity
Place with one input and one output transition
Generated at 2025-07-11T18:21:10Z by
OpenModelica
OpenModelica 1.25.1 using
GenerateDoc.mos
.ExtendedPetriNets.Extensions.P10Capacity .ExtendedPetriNets.Extensions.P10Capacity