SResource Pool
A pool of interchangeable resource units shared by one or more ResourcePoolStations. Stations seize and release units from the common pool, so a freed unit can serve whichever station's queue is waiting. When a unit is released, the pool notifies its registered stations (in registration order) so they can serve their queues.
Phase-2 pools provide shared capacity only; per-pool schedules and failures are a later addition (a single station's own resource supports those via SingleQStation).
Parameters
the model element serving as the pool's parent
the number of units in the pool (>= 1)
the name of the pool
Properties
True if the pool has at least one available unit.
Current number of available (idle) units.
Time-weighted number of busy units across the pool.
The number of times units have been seized from the pool.
Time-weighted utilization of the pool (busy units / capacity).
Functions
Registers a station to be notified (to serve its queue) when units free up.
This method should be overridden by subclasses that need actions performed to initialize prior to a replication. It is called once before each replication occurs if the model element wants initialization. It is called after beforeReplication() is called